Details

analyze758.0ms (8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 41 to 24 computations (41.5% saved)

sample72.0ms (0.8%)

Algorithm

1×

intervals

Results

54.0ms	238×	body	256	valid
4.0ms	35×	body	128	nan
2.0ms	18×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify218.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

637×	`associate-/l*_binary64`
634×	`div-sub_binary64`
582×	`unsub-neg_binary64`
519×	`sub-neg_binary64`
502×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	53	50
2	139	50
3	381	48
4	735	48
5	1189	48
6	1409	48
7	1893	48
8	1853	48
9	2235	48
10	2889	48
11	3457	48
12	3639	48
13	3749	48
14	3797	48
15	3821	48
16	3871	48
17	4858	48
18	4799	48
19	4980	48
20	4834	48

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

34.4b

Counts

2 → 2

Alt Table

Status	Error	Program
	34.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
▶	34.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Status

Error

Program

34.4b

(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))

▶

34.4b

(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g) (*.f64 2 a))) (cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2)))

Compiler

Compiled 182 to 100 computations (45.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.6b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
7.4b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite138.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

31.4b

Rules

14×	`add-sqr-sqrt_binary64`
11×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64`
9×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 61

Calls

4 calls:

8.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
7.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2348 to 702 computations (70.1% saved)

series310.0ms (3.3%)

Error

31.3b

Counts

4 → 46

Calls

4 calls:

103.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
91.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
28.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
24.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4733 to 3292 computations (30.4% saved)

simplify112.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

612×	`associate-/l*_binary64`
463×	`associate-/r*_binary64`
374×	`associate-l_binary64`
124×	`associate-*l/_binary64`
123×	`associate-*r/_binary64`

Counts

107 → 67

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	2612
1	551	2582
2	1454	2545
3	4966	2545
4	4965	2545

prune140.0ms (1.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	49	18	67
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	50	19	69

Error

31.2b

Counts

69 → 19

Alt Table

Status	Error	Program
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (exp.f64 (log.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	50.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (log.f64 a))))))
	48.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (-.f64 (.f64 1/2 (/.f64 (.f64 h h) g)) g)) a) -1/2)))
	51.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (/.f64 (sqrt.f64 (-.f64 (pow.f64 g 6) (pow.f64 h 6))) (sqrt.f64 (+.f64 (pow.f64 g 4) (+.f64 (pow.f64 h 4) (.f64 (.f64 h h) (*.f64 g g))))))) a) -1/2)))
	34.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	34.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	41.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	57.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (-.f64 (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g))))) (.f64 1/12 (.f64 (/.f64 (cbrt.f64 -1/2) (.f64 g g)) (.f64 (*.f64 h h) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))))))
	52.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
▶	32.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	48.4b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 a) 1/3) (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 -1 g)))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	33.3b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	45.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	52.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3))))
	59.8b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (pow.f64 (/.f64 -1/2 (.f64 g a)) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	44.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	39.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.4b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 3795 to 1898 computations (50% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
4.6b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite207.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

31.0b

Rules

14×	`add-sqr-sqrt_binary64`
10×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64`
9×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 64

Calls

4 calls:

13.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2507 to 788 computations (68.6% saved)

series271.0ms (2.9%)

Error

30.7b

Counts

4 → 48

Calls

4 calls:

89.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
26.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
24.0ms	(-.f64 (.f64 g g) (.f64 h h))
22.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4287 to 2956 computations (31% saved)

simplify110.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

564×	`associate-/l*_binary64`
428×	`associate-/r*_binary64`
385×	`associate-l_binary64`
161×	`exp-sum_binary64`
123×	`distribute-rgt-in_binary64`

Counts

112 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	2364
1	467	2321
2	1281	2297
3	4727	2283
4	5041	2283

prune194.0ms (2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	60	9	69
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	66	22	88

Error

30.4b

Counts

88 → 22

Alt Table

Status	Error	Program
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (exp.f64 (log.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	50.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (log.f64 a))))))
	34.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	34.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	38.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	48.4b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 a) 1/3) (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 -1 g)))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
▶	31.8b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 -1 a)))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	33.3b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	45.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	52.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3))))
	59.8b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (pow.f64 (/.f64 -1/2 (.f64 g a)) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	48.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	44.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	46.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	41.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	51.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	34.4b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	49.1b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (pow.f64 a 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	56.6b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	46.9b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))

Compiler

Compiled 3691 to 1914 computations (48.1% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
3.2b	(-.f64 (.f64 g g) (.f64 h h))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite191.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

30.4b

Rules

8×	`sqrt-prod_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-log-exp_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 58

Calls

4 calls:

4.0ms	(-.f64 (.f64 g g) (.f64 h h))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2493 to 896 computations (64.1% saved)

series205.0ms (2.2%)

Error

30.4b

Counts

4 → 48

Calls

4 calls:

32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.0ms	(-.f64 (.f64 g g) (.f64 h h))
26.0ms	(-.f64 (.f64 g g) (.f64 h h))
25.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3770 to 2631 computations (30.2% saved)

simplify109.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

478×	`associate-*l/_binary64`
288×	`cancel-sign-sub-inv_binary64`
276×	`unswap-sqr_binary64`
210×	`associate-/r/_binary64`
206×	`associate-r_binary64`

Counts

106 → 70

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	86	1486
1	193	1390
2	531	1390
3	2115	1390
4	4894	1390
5	4987	1390
6	4961	1390

prune193.0ms (2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	70	22	92

Error

30.4b

Counts

92 → 22

Alt Table

Status	Error	Program
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (exp.f64 (log.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	50.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (log.f64 a))))))
	34.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	34.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	38.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	48.4b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 a) 1/3) (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 -1 g)))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
▶	33.3b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	56.6b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	47.6b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 -1 a)))) (/.f64 (cbrt.f64 (*.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	45.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	52.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3))))
	59.8b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (pow.f64 (/.f64 -1/2 (.f64 g a)) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	48.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	44.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	46.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	41.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	51.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	34.4b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	49.1b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (pow.f64 a 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	46.9b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))

Compiler

Compiled 3516 to 1862 computations (47% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
7.4b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite206.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

30.4b

Rules

8×	`sqrt-prod_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
6×	`add-log-exp_binary64`

Counts

4 → 55

Calls

4 calls:

10.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2167 to 675 computations (68.9% saved)

series270.0ms (2.9%)

Error

30.4b

Counts

4 → 46

Calls

4 calls:

96.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
27.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.0ms	(-.f64 (.f64 g g) (.f64 h h))
22.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3950 to 2695 computations (31.8% saved)

simplify133.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

316×	`unswap-sqr_binary64`
285×	`associate-r_binary64`
248×	`associate-l_binary64`
202×	`times-frac_binary64`
184×	`exp-sum_binary64`

Counts

101 → 68

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	170	1734
1	371	1658
2	927	1644
3	3450	1588
4	4785	1587
5	4986	1587
6	4891	1587

prune203.0ms (2.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	68	22	90

Error

30.3b

Counts

90 → 22

Alt Table

Status	Error	Program
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	50.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (log.f64 a))))))
	34.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	34.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	38.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	48.4b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 a) 1/3) (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	49.1b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (pow.f64 a 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	41.1b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (exp.f64 (log.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	56.6b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	47.6b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 -1 a)))) (/.f64 (cbrt.f64 (*.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	33.3b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))
	52.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3))))
	44.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	47.4b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 -1/2 (/.f64 (*.f64 h h) a))))))
	59.8b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (pow.f64 (/.f64 -1/2 (.f64 g a)) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	48.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	43.7b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	41.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	51.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	34.4b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.9b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))

Compiler

Compiled 2757 to 1283 computations (53.5% saved)

regimes2.6s (27.2%)

Accuracy

Total 1.7b remaining (5.5%)

Threshold costs 0b (0%)

Compiler

Compiled 62731 to 36559 computations (41.7% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
5×	`*-commutative_binary64`
5×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	32	52
2	42	52
3	48	52
4	51	52
5	51	52

end1.0ms (0%)

Compiler: Compiled 36 to 20 computations (44.4% saved)

sample2.8s (29.2%)

Algorithm

1×

intervals

Results

1.9s	7583×	body	256	valid
133.0ms	1212×	body	128	nan
46.0ms	417×	body	128	valid

Compiler

Compiled 920 to 551 computations (40.1% saved)

Details

analyze758.0ms (8%)

sample72.0ms (0.8%)

simplify218.0ms (2.3%)

prune5.0ms (0%)

localize21.0ms (0.2%)

rewrite138.0ms (1.5%)

series310.0ms (3.3%)

simplify112.0ms (1.2%)

prune140.0ms (1.5%)

localize22.0ms (0.2%)

rewrite207.0ms (2.2%)

series271.0ms (2.9%)

simplify110.0ms (1.2%)

prune194.0ms (2%)

localize26.0ms (0.3%)

rewrite191.0ms (2%)

series205.0ms (2.2%)

simplify109.0ms (1.1%)

prune193.0ms (2%)

localize19.0ms (0.2%)

rewrite206.0ms (2.2%)

series270.0ms (2.9%)

simplify133.0ms (1.4%)

prune203.0ms (2.1%)

regimes2.6s (27.2%)

simplify5.0ms (0%)

end1.0ms (0%)

sample2.8s (29.2%)

Profiling