Details

analyze536.0ms (5.6%)

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)

sample59.0ms (0.6%)

Algorithm

1×

intervals

Results

43.0ms	246×	body	256	valid
3.0ms	34×	body	128	nan
1.0ms	10×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify235.0ms (2.4%)

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

prune6.0ms (0.1%)

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

38.3b

Counts

2 → 2

Alt Table

Status	Error	Program
	38.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)))
▶	38.3b	(+.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)))))))

Status

Error

Program

38.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)))

▶

38.3b

(+.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)))))))

Compiler

Compiled 182 to 100 computations (45.1% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.7b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
10.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite211.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

33.8b

Rules

10×	`cbrt-div_binary64`
8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `frac-times_binary64` `associate-*r/_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `difference-of-squares_binary64` `rem-sqrt-square_binary64` `pow1/3_binary64` `associate-*l/_binary64` `cbrt-prod_binary64` `flip3-+_binary64` `flip-+_binary64`

Counts

4 → 60

Calls

4 calls:

16.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2905 to 1013 computations (65.1% saved)

series290.0ms (3%)

Error

33.1b

Counts

4 → 35

Calls

4 calls:

98.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
85.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
25.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
24.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4090 to 2911 computations (28.8% saved)

simplify102.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

537×	`times-frac_binary64`
272×	`distribute-rgt-in_binary64`
269×	`distribute-lft-in_binary64`
247×	`associate-/l*_binary64`
214×	`exp-sum_binary64`

Counts

95 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	224	2158
1	549	2090
2	1543	2002
3	4657	1966
4	5036	1966

prune214.0ms (2.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	50	17	67
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	51	18	69

Error

32.3b

Counts

69 → 18

Alt Table

Status	Error	Program
	35.9b	(+.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)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 g 1/3) (pow.f64 (/.f64 2 a) 1/3))))
	50.9b	(+.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))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	49.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (.f64 (/.f64 2 a) g))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 1/2)))
	48.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (/.f64 -1 g)))))
	48.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (-.f64 (.f64 g g) (.f64 h h)) (.f64 g (+.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)))))))
	36.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	38.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (*.f64 h h)))))))
	53.5b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 (/.f64 2 a) 1/3) (/.f64 1 (cbrt.f64 (/.f64 -1 g))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	38.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)))
	35.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
▶	35.9b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	54.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	52.5b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 4065 to 1978 computations (51.3% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

3.4b	(-.f64 (.f64 g g) (.f64 h h))
10.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite256.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

32.3b

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
5×	`flip3--_binary64` `flip--_binary64` `cbrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`difference-of-squares_binary64`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2613 to 888 computations (66% saved)

series285.0ms (3%)

Error

32.1b

Counts

4 → 38

Calls

4 calls:

99.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
34.0ms	(-.f64 (.f64 g g) (.f64 h h))
26.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
23.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3516 to 2471 computations (29.7% saved)

simplify93.0ms (1%)

Algorithm

1×	egg-herbie

Rules

486×	`associate-l_binary64`
450×	`times-frac_binary64`
239×	`distribute-rgt-in_binary64`
237×	`distribute-lft-in_binary64`
183×	`associate-/l*_binary64`

Counts

97 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	1770
1	405	1661
2	1190	1618
3	4693	1600
4	4939	1600

prune255.0ms (2.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	59	6	65
Fresh	3	14	17
Picked	1	0	1
Done	0	0	0
Total	63	20	83

Error

31.9b

Counts

83 → 20

Alt Table

Status	Error	Program
	47.3b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 h h)) (cbrt.f64 (.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))))
	35.9b	(+.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)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 g 1/3) (pow.f64 (/.f64 2 a) 1/3))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 1/2)))
	48.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (/.f64 -1 g)))))
	54.8b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	40.0b	(+.f64 (/.f64 (cbrt.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)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	43.5b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (-.f64 (.f64 g g) (.f64 h h)) (.f64 g (+.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)))))))
	36.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	38.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (*.f64 h h)))))))
	53.5b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 (/.f64 2 a) 1/3) (/.f64 1 (cbrt.f64 (/.f64 -1 g))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	38.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)))
	49.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	46.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (neg.f64 g)))))
▶	35.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	52.5b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 3659 to 1817 computations (50.3% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.4b	(-.f64 (.f64 g g) (.f64 h h))
10.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite285.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

31.9b

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
5×	`flip3--_binary64` `flip--_binary64` `cbrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`difference-of-squares_binary64`

Counts

4 → 59

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2613 to 888 computations (66% saved)

series291.0ms (3%)

Error

31.9b

Counts

4 → 38

Calls

4 calls:

97.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
33.0ms	(-.f64 (.f64 g g) (.f64 h h))
25.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
24.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3516 to 2471 computations (29.7% saved)

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Rules

486×	`associate-l_binary64`
450×	`times-frac_binary64`
239×	`distribute-rgt-in_binary64`
237×	`distribute-lft-in_binary64`
183×	`associate-/l*_binary64`

Counts

97 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	1770
1	405	1661
2	1190	1618
3	4693	1600
4	4939	1600

prune284.0ms (3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	19	19
Picked	1	0	1
Done	0	0	0
Total	64	21	85

Error

31.9b

Counts

85 → 21

Alt Table

Status	Error	Program
	47.3b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 h h)) (cbrt.f64 (.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))))
▶	35.9b	(+.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)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 g 1/3) (pow.f64 (/.f64 2 a) 1/3))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 1/2)))
	48.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (/.f64 -1 g)))))
	54.8b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	40.0b	(+.f64 (/.f64 (cbrt.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)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	43.5b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	46.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (neg.f64 g)))))
	48.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (-.f64 (.f64 g g) (.f64 h h)) (.f64 g (+.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)))))))
	36.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	38.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (*.f64 h h)))))))
	53.5b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 (/.f64 2 a) 1/3) (/.f64 1 (cbrt.f64 (/.f64 -1 g))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	38.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)))
	49.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	46.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (neg.f64 g)))))
	43.3b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	52.5b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 3711 to 1861 computations (49.9% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

3.4b	(-.f64 (.f64 g g) (.f64 h h))
10.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite315.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

31.9b

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
5×	`flip3--_binary64` `flip--_binary64` `cbrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`difference-of-squares_binary64`

Counts

4 → 59

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
5.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2784 to 1059 computations (62% saved)

series309.0ms (3.2%)

Error

31.9b

Counts

4 → 38

Calls

4 calls:

101.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
37.0ms	(-.f64 (.f64 g g) (.f64 h h))
26.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3786 to 2741 computations (27.6% saved)

simplify93.0ms (1%)

Algorithm

1×	egg-herbie

Rules

486×	`associate-l_binary64`
450×	`times-frac_binary64`
239×	`distribute-rgt-in_binary64`
237×	`distribute-lft-in_binary64`
183×	`associate-/l*_binary64`

Counts

97 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	1770
1	405	1661
2	1190	1618
3	4693	1600
4	4939	1600

prune272.0ms (2.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	1	19	20
Picked	1	0	1
Done	0	0	0
Total	66	20	86

Error

31.9b

Counts

86 → 20

Alt Table

Status	Error	Program
	46.7b	(+.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)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (neg.f64 g)))))
	47.3b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 h h)) (cbrt.f64 (.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))))
	58.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 g 1/3) (pow.f64 (/.f64 2 a) 1/3))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 1/2)))
	48.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (/.f64 -1 g)))))
	54.8b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	40.0b	(+.f64 (/.f64 (cbrt.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)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	43.5b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (-.f64 (.f64 g g) (.f64 h h)) (.f64 g (+.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)))))))
	36.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	38.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (*.f64 h h)))))))
	53.5b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 (/.f64 2 a) 1/3) (/.f64 1 (cbrt.f64 (/.f64 -1 g))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	57.1b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 h 2/3) (cbrt.f64 (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	38.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)))
	49.2b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	46.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (neg.f64 g)))))
	43.3b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	36.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	52.5b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 2970 to 1472 computations (50.4% saved)

regimes2.6s (27.4%)

Accuracy

Total 1.6b remaining (5.1%)

Threshold costs 0b (0%)

Compiler

Compiled 62630 to 36622 computations (41.5% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 40 to 23 computations (42.5% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
15×	`*-commutative_binary64`
12×	`sub-neg_binary64`
9×	`neg-mul-1_binary64` `neg-sub0_binary64`
3×	`distribute-neg-out_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	277
1	68	277
2	81	277
3	98	277
4	109	269
5	117	269
6	120	269
7	121	269
8	119	269

end3.0ms (0%)

Compiler: Compiled 175 to 78 computations (55.4% saved)

sample2.4s (24.7%)

Algorithm

1×

intervals

Results

1.3s	7550×	body	256	valid
104.0ms	1224×	body	128	nan
43.0ms	450×	body	128	valid

Compiler

Compiled 1040 to 606 computations (41.7% saved)

Details

analyze536.0ms (5.6%)

sample59.0ms (0.6%)

simplify235.0ms (2.4%)

prune6.0ms (0.1%)

localize19.0ms (0.2%)

rewrite211.0ms (2.2%)

series290.0ms (3%)

simplify102.0ms (1.1%)

prune214.0ms (2.2%)

localize25.0ms (0.3%)

rewrite256.0ms (2.7%)

series285.0ms (3%)

simplify93.0ms (1%)

prune255.0ms (2.6%)

localize21.0ms (0.2%)

rewrite285.0ms (3%)

series291.0ms (3%)

simplify97.0ms (1%)

prune284.0ms (3%)

localize25.0ms (0.3%)

rewrite315.0ms (3.3%)

series309.0ms (3.2%)

simplify93.0ms (1%)

prune272.0ms (2.8%)

regimes2.6s (27.4%)

bsearch11.0ms (0.1%)

simplify14.0ms (0.1%)

end3.0ms (0%)

sample2.4s (24.7%)

Profiling