Details

analyze567.0ms (3%)

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)

sample2.9s (15.3%)

Results

2.5s	7813×	body	256	valid
234.0ms	1256×	body	128	invalid
77.0ms	443×	body	128	valid

Compiler

Compiled 122 to 71 computations (41.8% saved)

simplify194.0ms (1%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-neg_binary64`
636×	`times-frac_binary64`
620×	`div-sub_binary64`
565×	`unsub-neg_binary64`
481×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	54	50
2	144	50
3	406	48
4	826	48
5	1523	48
6	1911	48
7	2632	48
8	2589	48
9	2971	48
10	3625	48
11	4193	48
12	4375	48
13	4485	48
14	4533	48
15	4557	48
16	4607	48
17	4882	48
18	4848	48

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

38.2b

Counts

3 → 2

Alt Table

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

▶

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

38.3b

(+.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 219 to 116 computations (47% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.6b	(-.f64 (.f64 g g) (.f64 h h))
✓	7.7b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	7.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	31.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.6s (8.7%)

Counts

4 → 120

Calls

4 calls:

803.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
789.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
17.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
8.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-div_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`add-log-exp_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`

Counts

4 → 67

Calls

4 calls:

11.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
9.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (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))

simplify112.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

554×	`times-frac_binary64`
313×	`associate-l_binary64`
313×	`fma-def_binary64`
303×	`associate-/r*_binary64`
280×	`associate-/l*_binary64`

Counts

187 → 252

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	527	7243
1	1549	6993
2	5142	6993

prune1.1s (5.7%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	317	24	341
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	318	25	343

Error

33.4b

Counts

343 → 25

Alt Table

Status	Error	Program
	45.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	36.3b	(+.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)))))))
	47.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 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (fma.f64 g g (fma.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (-.f64 (.f64 g g) (*.f64 h h)))))))
	36.3b	(+.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)))))))
	40.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) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	48.6b	(+.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.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))))
	46.8b	(+.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) (fma.f64 g g (fma.f64 (+.f64 h g) (-.f64 g h) (.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)))))))
	56.6b	(+.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) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	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)))))))
	55.3b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 -1 g))))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	50.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) (neg.f64 g)))))
	55.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 g h)) (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)))))))
	55.8b	(+.f64 (fma.f64 1/12 (.f64 (/.f64 (cbrt.f64 1/2) (.f64 g g)) (.f64 (.f64 h h) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 13/648 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 6)) (.f64 (pow.f64 h 6) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 (cbrt.f64 1/2) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))) (.f64 5/144 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 4)) (.f64 (pow.f64 h 4) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	46.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 (-.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) (fma.f64 g g (fma.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (-.f64 (.f64 g g) (.f64 h h))))))))
	45.7b	(+.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 (exp.f64 (log.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	38.3b	(+.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.4b	(+.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 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	53.6b	(+.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) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a))))))))
	43.2b	(+.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) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	55.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (/.f64 (sqrt.f64 (-.f64 (pow.f64 g 6) (pow.f64 h 6))) (sqrt.f64 (fma.f64 (.f64 h h) (fma.f64 h h (.f64 g g)) (pow.f64 g 4))))))) (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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	45.5b	(+.f64 (/.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (+.f64 (.f64 (neg.f64 g) (neg.f64 g)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (.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)))))))
	56.6b	(+.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) (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))
	42.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.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 20858 to 11088 computations (46.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.8b	(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
	3.6b	(-.f64 (.f64 g g) (.f64 h h))
	7.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
	31.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series17.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

17.0ms

(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`fma-def_binary64`
8×	`*-un-lft-identity_binary64`
5×	`add-log-exp_binary64`
4×	`distribute-rgt-neg-in_binary64`
4×	`add-sqr-sqrt_binary64`

Counts

1 → 27

Calls

1 calls:

7.0ms

(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))

simplify61.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

844×	`times-frac_binary64`
659×	`fma-neg_binary64`
393×	`fma-def_binary64`
342×	`associate-/l*_binary64`
294×	`associate-/r*_binary64`

Counts

51 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	116	1022
1	344	933
2	1086	888
3	4683	888
4	5106	888

prune2.0s (10.7%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	324	11	335
Fresh	11	13	24
Picked	1	0	1
Done	0	0	0
Total	336	24	360

Error

33.1b

Counts

360 → 24

Alt Table

Status	Error	Program
	36.3b	(+.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))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	45.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	40.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) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	48.6b	(+.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))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.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)))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	56.6b	(+.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) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	44.8b	(+.f64 (/.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (+.f64 (.f64 (neg.f64 g) (neg.f64 g)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (.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))))
	49.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 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))))) (cbrt.f64 (.f64 2 a))))
	55.8b	(+.f64 (fma.f64 1/12 (.f64 (/.f64 (cbrt.f64 1/2) (.f64 g g)) (.f64 (.f64 h h) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 13/648 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 6)) (.f64 (pow.f64 h 6) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 (cbrt.f64 1/2) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))) (.f64 5/144 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 4)) (.f64 (pow.f64 h 4) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
▶	34.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	39.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (cbrt.f64 (.f64 (.f64 (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (+.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.3b	(+.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)))
	45.7b	(+.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 (exp.f64 (log.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	46.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 (neg.f64 g) g)) (cbrt.f64 (*.f64 2 a))))
	38.4b	(+.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 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	53.6b	(+.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) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a))))))))
	37.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (exp.f64 (log.f64 (+.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))))
	43.2b	(+.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) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	46.0b	(+.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) (fma.f64 g g (fma.f64 (+.f64 h g) (-.f64 g h) (.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))))
	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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	47.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (.f64 -1/2 (/.f64 (pow.f64 h 2) g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	47.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 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (fma.f64 g g (fma.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (-.f64 (.f64 g g) (*.f64 h h)))))))
	34.4b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	55.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 g h)) (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)))))))

Compiler

Compiled 18656 to 9113 computations (51.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
✓	1.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	3.6b	(-.f64 (.f64 g g) (.f64 h h))
	31.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series34.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

17.0ms	(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
17.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)

rewrite35.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

91×	`prod-diff_binary64`
72×	`add-sqr-sqrt_binary64`
70×	`*-un-lft-identity_binary64`
64×	`add-cube-cbrt_binary64`
62×	`sqrt-prod_binary64`

Counts

2 → 153

Calls

2 calls:

10.0ms	(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)

simplify181.0ms (1%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-neg_binary64`
276×	`div-sub_binary64`
221×	`distribute-rgt-in_binary64`
173×	`distribute-rgt-neg-in_binary64`
166×	`fma-def_binary64`

Counts

201 → 212

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	5607
1	549	4159
2	1991	3718
3	4586	3718
4	4779	3718
5	4844	3718

prune1.8s (9.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	381	9	390
Fresh	8	15	23
Picked	1	0	1
Done	0	0	0
Total	390	24	414

Error

33.1b

Counts

414 → 24

Alt Table

Status	Error	Program
	53.6b	(+.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) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a))))))))
	38.5b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	56.6b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	37.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (exp.f64 (log.f64 (+.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))))
	43.2b	(+.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) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	53.8b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	36.3b	(+.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))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	45.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	41.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (neg.f64 g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	52.6b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (fma.f64 (.f64 (cbrt.f64 g) (cbrt.f64 g)) (neg.f64 (cbrt.f64 g)) (neg.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 h h))) g)))) (cbrt.f64 (.f64 2 a))))
	48.6b	(+.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))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.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)))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	47.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
▶	34.4b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	60.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (neg.f64 g)) (sqrt.f64 (neg.f64 g)) (neg.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 h h))) g)))) (cbrt.f64 (*.f64 2 a))))
	55.8b	(+.f64 (fma.f64 1/12 (.f64 (/.f64 (cbrt.f64 1/2) (.f64 g g)) (.f64 (.f64 h h) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 13/648 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 6)) (.f64 (pow.f64 h 6) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 (cbrt.f64 1/2) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))) (.f64 5/144 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 4)) (.f64 (pow.f64 h 4) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	49.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 g) (neg.f64 (sqrt.f64 g)) (neg.f64 (.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (fma.f64 (neg.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))) (cbrt.f64 (*.f64 2 a))))
	45.7b	(+.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 (exp.f64 (log.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	46.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 (neg.f64 g) g)) (cbrt.f64 (*.f64 2 a))))
	37.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (cbrt.f64 (*.f64 2 a))))
	38.3b	(+.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)))
	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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	47.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 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (fma.f64 g g (fma.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (-.f64 (.f64 g g) (*.f64 h h)))))))
	56.6b	(+.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) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))

Compiler

Compiled 21546 to 7942 computations (63.1% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
	1.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	3.6b	(-.f64 (.f64 g g) (.f64 h h))
	31.8b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

prune2.2s (11.8%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	387	3	390
Fresh	2	21	23
Picked	0	1	1
Done	0	0	0
Total	389	25	414

Error

33.1b

Counts

414 → 25

Alt Table

Status	Error	Program
	53.6b	(+.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) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a))))))))
	38.5b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	56.6b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	37.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (exp.f64 (log.f64 (+.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))))
	43.2b	(+.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) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	60.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (neg.f64 g)) (sqrt.f64 (neg.f64 g)) (neg.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 h h))) g)))) (cbrt.f64 (*.f64 2 a))))
	53.8b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	36.3b	(+.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))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	45.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	40.2b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (.f64 (neg.f64 (.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 g)))) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	41.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (neg.f64 g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	48.6b	(+.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))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.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)))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	47.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	55.8b	(+.f64 (fma.f64 1/12 (.f64 (/.f64 (cbrt.f64 1/2) (.f64 g g)) (.f64 (.f64 h h) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 13/648 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 6)) (.f64 (pow.f64 h 6) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (fma.f64 (cbrt.f64 1/2) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))) (.f64 5/144 (.f64 (/.f64 (cbrt.f64 1/2) (pow.f64 g 4)) (.f64 (pow.f64 h 4) (pow.f64 (exp.f64 1/3) (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	49.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 g) (neg.f64 (sqrt.f64 g)) (neg.f64 (.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (fma.f64 (neg.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))) (cbrt.f64 (*.f64 2 a))))
	52.6b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (fma.f64 (neg.f64 (.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 g) (neg.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 h h))) g)))) (cbrt.f64 (.f64 2 a))))
	45.7b	(+.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 (exp.f64 (log.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	46.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 (neg.f64 g) g)) (cbrt.f64 (*.f64 2 a))))
	37.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (cbrt.f64 (*.f64 2 a))))
	38.3b	(+.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)))
	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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	47.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 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (fma.f64 g g (fma.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (-.f64 (.f64 g g) (*.f64 h h)))))))
✓	34.4b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	56.6b	(+.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) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))

Compiler

Compiled 20364 to 7299 computations (64.2% saved)

regimes4.5s (24.3%)

Accuracy

Total 1.6b remaining (4.9%)

Threshold costs 0b (0%)

Counts

375 → 1

Compiler

Compiled 150572 to 84063 computations (44.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	66
1	46	66
2	59	66
3	68	66
4	71	66
5	72	66
6	72	66

end1.2s (6.6%)

Compiler: Compiled 1362 to 747 computations (45.2% saved)

Details

analyze567.0ms (3%)

sample2.9s (15.3%)

simplify194.0ms (1%)

prune5.0ms (0%)

localize17.0ms (0.1%)

series1.6s (8.7%)

rewrite29.0ms (0.2%)

simplify112.0ms (0.6%)

prune1.1s (5.7%)

localize19.0ms (0.1%)

series17.0ms (0.1%)

rewrite9.0ms (0%)

simplify61.0ms (0.3%)

prune2.0s (10.7%)

localize20.0ms (0.1%)

series34.0ms (0.2%)

rewrite35.0ms (0.2%)

simplify181.0ms (1%)

prune1.8s (9.8%)

localize19.0ms (0.1%)

prune2.2s (11.8%)

regimes4.5s (24.3%)

simplify4.0ms (0%)

end1.2s (6.6%)

Profiling