Details

analyze536.0ms (5.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)

sample55.0ms (0.5%)

Algorithm

1×

intervals

Results

40.0ms	242×	body	256	valid
2.0ms	28×	body	128	nan
1.0ms	14×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify227.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

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

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

35.2b

Counts

2 → 2

Alt Table

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

Status

Error

Program

▶

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

35.3b

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

Compiler

Compiled 182 to 100 computations (45.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.2b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
7.2b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite152.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

31.9b

Rules

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

Counts

4 → 61

Calls

4 calls:

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

Compiler

Compiled 2348 to 702 computations (70.1% saved)

series353.0ms (3.5%)

Error

32.1b

Counts

4 → 47

Calls

4 calls:

138.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
82.0ms	(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)))
29.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4812 to 3367 computations (30% saved)

simplify80.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

543×	`times-frac_binary64`
428×	`associate-l_binary64`
356×	`associate-/l*_binary64`
263×	`associate-/r*_binary64`
147×	`cancel-sign-sub-inv_binary64`

Counts

108 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	2592
1	569	2550
2	1456	2503
3	5054	2503

prune146.0ms (1.5%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	51	17	68
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	52	18	70

Error

31.7b

Counts

70 → 18

Alt Table

Status	Error	Program
	40.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 (.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)))
▶	33.6b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	47.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)) g) (.f64 2 a))) (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 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	52.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	47.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 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	48.3b	(+.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 a) 1/3) (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	42.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	58.5b	(+.f64 (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 (/.f64 -1/2 (.f64 g a)) 1/3) (pow.f64 h 2/3))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	35.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)))
	46.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	48.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (pow.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) 1/3) (pow.f64 (/.f64 -1 a) 1/3)) (cbrt.f64 1/2)))
	51.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (+.f64 (.f64 (cbrt.f64 -1/2) (.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 (pow.f64 (/.f64 -1 g) 1/3) (/.f64 g (.f64 h h))) (/.f64 (pow.f64 (.f64 -1/2 (/.f64 (.f64 h h) a)) 1/3) (/.f64 g (cbrt.f64 -1/2)))))))
	35.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)))))))
	34.0b	(+.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)))
	40.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	58.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g))))))

Compiler

Compiled 3636 to 1769 computations (51.3% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
6.2b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite277.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

31.4b

Rules

14×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64` `cbrt-prod_binary64`
9×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `times-frac_binary64`

Counts

4 → 64

Calls

4 calls:

8.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2507 to 788 computations (68.6% saved)

series289.0ms (2.9%)

Error

31.4b

Counts

4 → 45

Calls

4 calls:

84.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.0ms	(-.f64 (.f64 g g) (.f64 h h))
30.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3739 to 2550 computations (31.8% saved)

simplify115.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

306×	`exp-sum_binary64`
278×	`unswap-sqr_binary64`
234×	`associate-r_binary64`
217×	`associate-l_binary64`
206×	`exp-prod_binary64`

Counts

109 → 66

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	190	2075
1	399	2003
2	937	1983
3	3229	1947
4	4626	1945
5	4921	1945

prune192.0ms (1.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	59	7	66
Fresh	7	10	17
Picked	1	0	1
Done	0	0	0
Total	67	17	84

Error

31.3b

Counts

84 → 17

Alt Table

Status	Error	Program
	47.6b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	48.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	43.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	47.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (*.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 a)))
	51.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	40.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 (.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)))
	47.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)) g) (.f64 2 a))) (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 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	42.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	38.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	45.5b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (neg.f64 g) (/.f64 2 a)))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	46.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	51.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (+.f64 (.f64 (cbrt.f64 -1/2) (.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 (pow.f64 (/.f64 -1 g) 1/3) (/.f64 g (.f64 h h))) (/.f64 (pow.f64 (.f64 -1/2 (/.f64 (.f64 h h) a)) 1/3) (/.f64 g (cbrt.f64 -1/2)))))))
	35.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)))))))
▶	34.0b	(+.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)))
	40.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	58.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g))))))

Compiler

Compiled 2979 to 1464 computations (50.9% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(-.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))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite237.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

31.3b

Rules

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

Counts

4 → 55

Calls

4 calls:

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

Compiler

Compiled 2167 to 675 computations (68.9% saved)

series366.0ms (3.7%)

Error

31.3b

Counts

4 → 50

Calls

4 calls:

139.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0ms	(-.f64 (.f64 g g) (.f64 h h))
30.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4482 to 3118 computations (30.4% saved)

simplify68.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

542×	`times-frac_binary64`
470×	`associate-l_binary64`
355×	`associate-/l*_binary64`
252×	`associate-/r*_binary64`
140×	`cancel-sign-sub-inv_binary64`

Counts

105 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	1999
1	450	1937
2	1277	1905
3	4999	1905

prune240.0ms (2.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	1	15	16
Picked	1	0	1
Done	0	0	0
Total	72	17	89

Error

31.3b

Counts

89 → 17

Alt Table

Status	Error	Program
	47.6b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	48.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	43.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	47.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (*.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 a)))
	51.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	40.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 (.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)))
	47.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)) g) (.f64 2 a))) (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 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	42.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	45.7b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	38.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	50.8b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3))))
	45.5b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (neg.f64 g) (/.f64 2 a)))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	51.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (+.f64 (.f64 (cbrt.f64 -1/2) (.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 (pow.f64 (/.f64 -1 g) 1/3) (/.f64 g (.f64 h h))) (/.f64 (pow.f64 (.f64 -1/2 (/.f64 (.f64 h h) a)) 1/3) (/.f64 g (cbrt.f64 -1/2)))))))
▶	35.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)))))))
	40.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	58.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g))))))

Compiler

Compiled 3507 to 1734 computations (50.6% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
30.2b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite274.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

31.3b

Rules

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

Counts

4 → 60

Calls

4 calls:

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

Compiler

Compiled 2905 to 1013 computations (65.1% saved)

series440.0ms (4.4%)

Error

31.3b

Counts

4 → 46

Calls

4 calls:

128.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
85.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
35.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
33.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5141 to 3662 computations (28.8% saved)

simplify114.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

282×	`distribute-rgt-in_binary64`
280×	`div-sub_binary64`
263×	`distribute-lft-in_binary64`
214×	`cancel-sign-sub-inv_binary64`
196×	`exp-sum_binary64`

Counts

106 → 78

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	265	2564
1	663	2530
2	2029	2428
3	4550	2309
4	5130	2309

prune283.0ms (2.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	67	11	78
Fresh	7	9	16
Picked	1	0	1
Done	0	0	0
Total	75	20	95

Error

31.2b

Counts

95 → 20

Alt Table

Status	Error	Program
	47.6b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	33.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 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	43.6b	(+.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (sqrt.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)))))))
	34.0b	(+.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)))))))
	46.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 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (*.f64 h h)))))))
	35.3b	(+.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 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)) (cbrt.f64 -1/2)))
	43.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	47.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (*.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 a)))
	51.7b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	46.5b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (/.f64 2 a) (/.f64 -1 g)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	47.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)) g) (.f64 2 a))) (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 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	42.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (sqrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	35.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)))))))
	50.8b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 -1 g) 1/3) (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3))))
	55.4b	(+.f64 (/.f64 (pow.f64 h 2/3) (cbrt.f64 (.f64 (.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)))))))
	33.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 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	47.1b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3))) (cbrt.f64 (.f64 (.f64 2 a) (+.f64 (-.f64 (.f64 g g) (.f64 h h)) (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))))
	40.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))

Compiler

Compiled 3788 to 1729 computations (54.4% saved)

regimes3.2s (32%)

Accuracy

Total 1.7b remaining (5.3%)

Threshold costs 0b (0%)

Compiler

Compiled 70282 to 40588 computations (42.2% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
5×	`sub-neg_binary64` `*-commutative_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
1×	`cancel-sign-sub-inv_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end1.0ms (0%)

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

sample2.3s (22.8%)

Algorithm

1×

intervals

Results

1.3s	7549×	body	256	valid
97.0ms	1220×	body	128	nan
37.0ms	451×	body	128	valid

Compiler

Compiled 987 to 545 computations (44.8% saved)

Details

analyze536.0ms (5.3%)

sample55.0ms (0.5%)

simplify227.0ms (2.3%)

prune6.0ms (0.1%)

localize21.0ms (0.2%)

rewrite152.0ms (1.5%)

series353.0ms (3.5%)

simplify80.0ms (0.8%)

prune146.0ms (1.5%)

localize19.0ms (0.2%)

rewrite277.0ms (2.8%)

series289.0ms (2.9%)

simplify115.0ms (1.1%)

prune192.0ms (1.9%)

localize22.0ms (0.2%)

rewrite237.0ms (2.4%)

series366.0ms (3.7%)

simplify68.0ms (0.7%)

prune240.0ms (2.4%)

localize19.0ms (0.2%)

rewrite274.0ms (2.7%)

series440.0ms (4.4%)

simplify114.0ms (1.1%)

prune283.0ms (2.8%)

regimes3.2s (32%)

simplify5.0ms (0%)

end1.0ms (0%)

sample2.3s (22.8%)

Profiling