Details

analyze612.0ms (4.5%)

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)

sample131.0ms (1%)

Algorithm

1×

intervals

Results

49.0ms	242×	body	256	valid
7.0ms	37×	body	128	nan
2.0ms	14×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify261.0ms (1.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

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

34.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	34.2b	(+.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)))
	34.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) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))

Status

Error

Program

▶

34.2b

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

34.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) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 219 to 116 computations (47% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.4b	(-.f64 (.f64 g g) (.f64 h h))
✓	7.2b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
✓	7.6b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
✓	28.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.5s (11%)

Counts

4 → 120

Calls

4 calls:

750.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
719.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
16.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
6.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite22.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:

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

simplify120.0ms (0.9%)

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

prune680.0ms (5%)

Pruning

21 alts after pruning (21 fresh and 0 done)

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

Error

29.2b

Counts

328 → 21

Alt Table

Status	Error	Program
	39.8b	(+.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 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) a) -1/2)))
	34.3b	(+.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)))
	31.4b	(+.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)))
	45.9b	(+.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)))
	49.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 g g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
▶	31.4b	(+.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)))
	34.2b	(+.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)))
	33.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 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	49.9b	(+.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))))))))
	54.3b	(+.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 (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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.4b	(+.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)))))
	46.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	34.0b	(+.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)))
	40.9b	(+.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)))
	42.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (exp.f64 (log.f64 (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) (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))
	55.4b	(+.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 (/.f64 (*.f64 2 g) a) 1/3)))
	34.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) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.1b	(+.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)) 1/3) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.5b	(+.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 a)))))))
	34.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))

Compiler

Compiled 17643 to 9173 computations (48% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.5b	(+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
	2.4b	(-.f64 (.f64 g g) (.f64 h h))
	7.2b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	28.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series16.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

16.0ms

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

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64`
3×	`add-log-exp_binary64`
3×	`fma-def_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`

Counts

1 → 17

Calls

1 calls:

4.0ms

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

simplify55.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

675×	`fma-neg_binary64`
456×	`times-frac_binary64`
261×	`fma-def_binary64`
235×	`associate-/r*_binary64`
230×	`associate-/l*_binary64`

Counts

41 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	98	894
1	295	845
2	829	805
3	3779	801
4	4982	801

prune1.3s (9.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	312	4	316
Fresh	4	16	20
Picked	1	0	1
Done	0	0	0
Total	317	20	337

Error

28.7b

Counts

337 → 20

Alt Table

Status	Error	Program
	39.8b	(+.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 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) a) -1/2)))
	34.3b	(+.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)))
▶	31.4b	(+.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)))
	49.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 g g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.2b	(+.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)))
	43.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 1/2 (/.f64 (pow.f64 h 2) g)) a) -1/2)))
	33.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 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	49.9b	(+.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))))))))
	54.3b	(+.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 (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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.4b	(+.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)))))
	46.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	34.0b	(+.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)))
	41.5b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	42.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (exp.f64 (log.f64 (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) (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))
	48.2b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/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.4b	(+.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 (/.f64 (*.f64 2 g) a) 1/3)))
	34.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) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	31.5b	(+.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 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	34.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))

Compiler

Compiled 15941 to 7787 computations (51.2% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
	2.4b	(-.f64 (.f64 g g) (.f64 h h))
	7.2b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	28.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

prune1.2s (8.9%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	314	2	316
Fresh	0	19	19
Picked	1	0	1
Done	0	0	0
Total	315	21	336

Error

28.7b

Counts

336 → 21

Alt Table

Status	Error	Program
	39.8b	(+.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 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) a) -1/2)))
	34.3b	(+.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)))
	34.2b	(+.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)))
	43.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 1/2 (/.f64 (pow.f64 h 2) g)) a) -1/2)))
	33.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 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	49.9b	(+.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))))))))
	54.3b	(+.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 (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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.4b	(+.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)))))
	46.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	34.0b	(+.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)))
	41.5b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	42.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (exp.f64 (log.f64 (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) (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))
	41.6b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	48.2b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/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.4b	(+.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 (/.f64 (*.f64 2 g) a) 1/3)))
	44.5b	(+.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 (neg.f64 g)) a) -1/2)))
	34.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) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	49.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 g g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
▶	31.5b	(+.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 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	34.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))

Compiler

Compiled 15987 to 7829 computations (51% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
	2.4b	(-.f64 (.f64 g g) (.f64 h h))
✓	7.2b	(cbrt.f64 (.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) a) -1/2))
	28.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series722.0ms (5.3%)

Counts

1 → 36

Calls

1 calls:

722.0ms

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`cbrt-prod_binary64`
1×	`cbrt-div_binary64`
1×	`associate-*l/_binary64`

Counts

1 → 12

Calls

1 calls:

18.0ms

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

simplify71.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

480×	`fma-def_binary64`
354×	`associate-*l/_binary64`
261×	`associate-/r/_binary64`
229×	`cancel-sign-sub-inv_binary64`
191×	`associate-r_binary64`

Counts

48 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	2627
1	690	2534
2	2348	2347
3	5061	2347

prune2.4s (18.1%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	623	2	625
Fresh	1	19	20
Picked	0	1	1
Done	0	0	0
Total	624	22	646

Error

28.7b

Counts

646 → 22

Alt Table

Status	Error	Program
	39.8b	(+.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 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) a) -1/2)))
	34.3b	(+.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)))
	34.2b	(+.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)))
	43.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 1/2 (/.f64 (pow.f64 h 2) g)) a) -1/2)))
	33.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 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	49.9b	(+.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))))))))
	54.3b	(+.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 (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 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.4b	(+.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)))))
	48.4b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (fma.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (.f64 h h) a)) 1/3)) (.f64 1/12 (.f64 (/.f64 (cbrt.f64 -1/2) (.f64 g g)) (.f64 (.f64 h h) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (.f64 h h) a)) 1/3)))))))
	34.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	46.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	34.0b	(+.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)))
	41.5b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	42.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (exp.f64 (log.f64 (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) (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g)))))
	41.6b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	44.5b	(+.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 (neg.f64 g)) a) -1/2)))
	55.4b	(+.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 (/.f64 (*.f64 2 g) a) 1/3)))
	34.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) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	49.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 g g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
✓	31.5b	(+.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 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	30.5b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) -1/2)) (cbrt.f64 a)))

Compiler

Compiled 41574 to 13532 computations (67.5% saved)

regimes1.6s (12%)

Accuracy

Total 1.6b remaining (5%)

Threshold costs 0b (0%)

Counts

172 → 1

Compiler

Compiled 50845 to 28950 computations (43.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	92
1	36	92
2	46	92
3	52	92
4	55	92
5	55	92

end1.0ms (0%)

Compiler: Compiled 61 to 23 computations (62.3% saved)

sample2.6s (19.4%)

Algorithm

1×

intervals

Results

1.7s	7585×	body	256	valid
123.0ms	1166×	body	128	nan
46.0ms	415×	body	128	valid

Compiler

Compiled 1127 to 615 computations (45.4% saved)

Details

analyze612.0ms (4.5%)

sample131.0ms (1%)

simplify261.0ms (1.9%)

prune5.0ms (0%)

localize17.0ms (0.1%)

series1.5s (11%)

rewrite22.0ms (0.2%)

simplify120.0ms (0.9%)

prune680.0ms (5%)

localize16.0ms (0.1%)

series16.0ms (0.1%)

rewrite5.0ms (0%)

simplify55.0ms (0.4%)

prune1.3s (9.8%)

localize19.0ms (0.1%)

prune1.2s (8.9%)

localize20.0ms (0.1%)

series722.0ms (5.3%)

rewrite19.0ms (0.1%)

simplify71.0ms (0.5%)

prune2.4s (18.1%)

regimes1.6s (12%)

simplify4.0ms (0%)

end1.0ms (0%)

sample2.6s (19.4%)

Profiling