Details

analyze1.1s (4.1%)

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)

sample228.0ms (0.9%)

Algorithm

1×

intervals

Results

107.0ms	242×	body	256	valid
9.0ms	42×	body	128	nan
3.0ms	14×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify233.0ms (0.9%)

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

prune9.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

37.5b

Counts

3 → 2

Alt Table

Status	Error	Program
	37.5b	(+.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)))))))
▶	37.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 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Status

Error

Program

37.5b

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

▶

37.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 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2)))

Compiler

Compiled 219 to 116 computations (47% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.4b	(-.f64 (.f64 g g) (.f64 h h))
✓	7.8b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
✓	10.3b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
✓	31.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series2.8s (10.7%)

Counts

4 → 120

Calls

4 calls:

1.4s	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
1.4s	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
31.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
14.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite48.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
11×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`
6×	`times-frac_binary64`

Counts

4 → 68

Calls

4 calls:

13.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
13.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
9.0ms	(-.f64 (.f64 g g) (.f64 h h))
7.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify254.0ms (1%)

Algorithm

1×	egg-herbie

Rules

502×	`times-frac_binary64`
427×	`associate-r_binary64`
289×	`associate-/r*_binary64`
268×	`fma-def_binary64`
264×	`associate-/l*_binary64`

Counts

188 → 237

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	513	7190
1	1435	6951
2	5076	6951

prune1.6s (6.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	306	20	326
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	308	20	328

Error

32.5b

Counts

328 → 20

Alt Table

Status	Error	Program
	37.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)) (cbrt.f64 -1/2)))
	50.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 (pow.f64 h 2) g)) g)) a) -1/2)))
	37.7b	(+.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	42.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 (.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)))))) a) -1/2)))
	53.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (fma.f64 1/12 (/.f64 (.f64 (.f64 h h) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))) (.f64 g g)) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))))
	35.9b	(+.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)))
	53.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 g h)) (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)))
	37.5b	(+.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)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	37.6b	(+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))))) (cbrt.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)))
	59.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.7b	(+.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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	52.0b	(+.f64 (.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)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
▶	35.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))
	37.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.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)))
	36.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.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.3b	(+.f64 (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (-.f64 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 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 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 17479 to 9087 computations (48% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	3.4b	(-.f64 (.f64 g g) (.f64 h h))
	10.3b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
	31.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series31.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

31.0ms

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

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
21×	`prod-diff_binary64`
19×	`*-un-lft-identity_binary64`
17×	`sqrt-prod_binary64`
17×	`add-cube-cbrt_binary64`

Counts

1 → 47

Calls

1 calls:

14.0ms

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

simplify189.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

689×	`fma-def_binary64`
458×	`associate-/l*_binary64`
427×	`associate-/r*_binary64`
424×	`fma-neg_binary64`
237×	`cancel-sign-sub-inv_binary64`

Counts

71 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	158	2090
1	371	1451
2	1281	1337
3	4495	1337
4	4929	1337
5	4990	1337
6	5000	1337
7	4866	1337

prune2.3s (8.6%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	340	8	348
Fresh	4	15	19
Picked	1	0	1
Done	0	0	0
Total	345	23	368

Error

32.0b

Counts

368 → 23

Alt Table

Status	Error	Program
▶	35.5b	(+.f64 (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	52.0b	(+.f64 (.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)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	50.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (neg.f64 g)) -1/2)) (cbrt.f64 a)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	37.7b	(+.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	42.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 (.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)))))) a) -1/2)))
	53.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (fma.f64 1/12 (/.f64 (.f64 (.f64 h h) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))) (.f64 g g)) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))))
	37.5b	(+.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)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	55.9b	(+.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	37.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.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)))
	47.0b	(+.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	36.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.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)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g g) -1/2)) (cbrt.f64 a)))
	56.1b	(+.f64 (cbrt.f64 (/.f64 (+.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	37.6b	(+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))))) (cbrt.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)))
	59.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.7b	(+.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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	37.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)) (cbrt.f64 -1/2)))
	40.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (.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)))))) -1/2)) (cbrt.f64 a)))
	35.9b	(+.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)))
	36.3b	(+.f64 (cbrt.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 18038 to 8392 computations (53.5% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	10.3b	(cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (*.f64 2 a)))
✓	30.3b	(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 (.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g)))))
	31.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
✓	62.2b	(fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))

series3.3s (12.6%)

Counts

3 → 72

Calls

3 calls:

3.2s

(cbrt.f64 (/.f64 (+.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 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) (*.f64 2 a)))

76.0ms

(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 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g)))))

48.0ms

(fma.f64 (neg.f64 (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`cbrt-prod_binary64`
7×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
4×	`times-frac_binary64`

Counts

3 → 39

Calls

3 calls:

4.0ms

(cbrt.f64 (/.f64 (+.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 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) (*.f64 2 a)))

0.0ms

(fma.f64 (neg.f64 (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))

0.0ms

(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 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g)))))

simplify124.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

483×	`associate-r_binary64`
357×	`associate-l_binary64`
289×	`fma-def_binary64`
265×	`times-frac_binary64`
229×	`associate-/r*_binary64`

Counts

111 → 163

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	514	7004
1	1510	5560
2	5085	5560

prune2.4s (9.1%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	403	4	407
Fresh	1	21	22
Picked	0	1	1
Done	0	0	0
Total	404	26	430

Error

31.9b

Counts

430 → 26

Alt Table

Status	Error	Program
✓	35.5b	(+.f64 (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	52.0b	(+.f64 (.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)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	50.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (neg.f64 g)) -1/2)) (cbrt.f64 a)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	37.7b	(+.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	42.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 (.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)))))) a) -1/2)))
	53.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (fma.f64 1/12 (/.f64 (.f64 (.f64 h h) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))) (.f64 g g)) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))))
	55.9b	(+.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	37.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.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)))
	47.0b	(+.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	47.3b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -2 a) g))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	36.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.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)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g g) -1/2)) (cbrt.f64 a)))
	56.1b	(+.f64 (cbrt.f64 (/.f64 (+.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	37.6b	(+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))))) (cbrt.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)))
	59.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.7b	(+.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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	37.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)) (cbrt.f64 -1/2)))
▶	35.5b	(+.f64 (.f64 (cbrt.f64 (/.f64 1 2)) (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	40.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (.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)))))) -1/2)) (cbrt.f64 a)))
	35.9b	(+.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)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	36.3b	(+.f64 (cbrt.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	54.8b	(+.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 (/.f64 (.f64 h h) g) -1/2) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))

Compiler

Compiled 38862 to 13464 computations (65.4% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	10.3b	(cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) a))
	30.3b	(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 (.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g)))))
	31.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
	62.2b	(fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))

series3.3s (12.4%)

Counts

1 → 36

Calls

1 calls:

3.3s

(cbrt.f64 (/.f64 (+.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 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) a))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cbrt-prod_binary64`
15×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`

Counts

1 → 27

Calls

1 calls:

3.0ms

(cbrt.f64 (/.f64 (+.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 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 g) (cbrt.f64 g))))) a))

simplify139.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

464×	`unswap-sqr_binary64`
283×	`associate-r_binary64`
227×	`*-commutative_binary64`
212×	`associate-l_binary64`
187×	`fma-def_binary64`

Counts

63 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	399	6762
1	1083	4440
2	3895	4115
3	5369	4115

prune2.6s (9.8%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	415	3	418
Fresh	3	21	24
Picked	1	0	1
Done	0	1	1
Total	419	25	444

Error

31.9b

Counts

444 → 25

Alt Table

Status	Error	Program
✓	35.5b	(+.f64 (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	52.0b	(+.f64 (.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)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	37.7b	(+.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	42.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 (.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)))))) a) -1/2)))
	53.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (fma.f64 1/12 (/.f64 (.f64 (.f64 h h) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))) (.f64 g g)) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 (/.f64 -1 g))))))))
	34.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 1 2)) (.f64 (cbrt.f64 (+.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 0)) (cbrt.f64 (/.f64 1 a)))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	35.1b	(+.f64 (.f64 (cbrt.f64 (/.f64 1 2)) (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 0)) (.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 0)) (cbrt.f64 a))))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	50.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 1 2)) (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (neg.f64 g)) -1/2)) (cbrt.f64 a)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	55.9b	(+.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	37.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.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)))
	47.0b	(+.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	47.3b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -2 a) g))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g g) -1/2)) (cbrt.f64 a)))
	56.1b	(+.f64 (cbrt.f64 (/.f64 (+.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	37.6b	(+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))))) (cbrt.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)))
	59.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.3b	(+.f64 (cbrt.f64 (/.f64 (+.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 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.7b	(+.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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	44.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	37.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)) (cbrt.f64 -1/2)))
	40.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (.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)))))) -1/2)) (cbrt.f64 a)))
	35.9b	(+.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)))
	54.8b	(+.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 (/.f64 (.f64 h h) g) -1/2) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))

Compiler

Compiled 39550 to 13637 computations (65.5% saved)

regimes2.7s (10.2%)

Accuracy

Total 0.9b remaining (2.7%)

Threshold costs 0.9b (2.7%)

Counts

153 → 3

Compiler

Compiled 47492 to 26017 computations (45.2% saved)

bsearch11.0ms (0%)

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

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
15×	`*-commutative_binary64`
10×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	51	220
1	78	220
2	89	220
3	103	220
4	112	216
5	119	216
6	122	216
7	123	216
8	120	216

end2.0ms (0%)

Compiler: Compiled 141 to 66 computations (53.2% saved)

sample2.8s (10.8%)

Algorithm

1×

intervals

Results

1.8s	7556×	body	256	valid
136.0ms	1266×	body	128	nan
47.0ms	444×	body	128	valid

Compiler

Compiled 1410 to 733 computations (48% saved)

Iter	Nodes	Cost
0	51	220
1	78	220
2	89	220
3	103	220
4	112	216
5	119	216
6	122	216
7	123	216
8	120	216

Iter	Nodes	Cost
0	51	220
1	78	220
2	89	220
3	103	220
4	112	216
5	119	216
6	122	216
7	123	216
8	120	216

Details

analyze1.1s (4.1%)

sample228.0ms (0.9%)

simplify233.0ms (0.9%)

prune9.0ms (0%)

localize32.0ms (0.1%)

series2.8s (10.7%)

rewrite48.0ms (0.2%)

simplify254.0ms (1%)

prune1.6s (6.2%)

localize32.0ms (0.1%)

series31.0ms (0.1%)

rewrite22.0ms (0.1%)

simplify189.0ms (0.7%)

prune2.3s (8.6%)

localize30.0ms (0.1%)

series3.3s (12.6%)

rewrite9.0ms (0%)

simplify124.0ms (0.5%)

prune2.4s (9.1%)

localize35.0ms (0.1%)

series3.3s (12.4%)

rewrite9.0ms (0%)

simplify139.0ms (0.5%)

prune2.6s (9.8%)

regimes2.7s (10.2%)

bsearch11.0ms (0%)

simplify10.0ms (0%)

end2.0ms (0%)

sample2.8s (10.8%)

Profiling

Iter	Nodes	Cost
0	51	220
1	78	220
2	89	220
3	103	220
4	112	216
5	119	216
6	122	216
7	123	216
8	120	216