Details

analyze705.0ms (5.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 41 to 24 computations (41.5% saved)

sample73.0ms (0.6%)

Algorithm

1×

intervals

Results

57.0ms	246×	body	256	valid
3.0ms	29×	body	128	nan
1.0ms	10×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify238.0ms (1.9%)

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

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.4b

Counts

2 → 2

Alt Table

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

Status

Error

Program

▶

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

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

Compiler

Compiled 182 to 100 computations (45.1% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

8.1b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
8.3b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite148.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

31.7b

Rules

10×	`cbrt-div_binary64`
8×	`sqrt-prod_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 60

Calls

4 calls:

12.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
10.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2905 to 1013 computations (65.1% saved)

series227.0ms (1.8%)

Error

30.9b

Counts

4 → 32

Calls

4 calls:

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

Compiler

Compiled 3839 to 2722 computations (29.1% saved)

simplify110.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

463×	`div-sub_binary64`
270×	`distribute-rgt-in_binary64`
261×	`distribute-lft-in_binary64`
258×	`*-commutative_binary64`
253×	`exp-sum_binary64`

Counts

92 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	218	2080
1	524	2012
2	1430	1920
3	4233	1836
4	5473	1836

prune129.0ms (1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	46	18	64
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	48	18	66

Error

31.3b

Counts

66 → 18

Alt Table

Status	Error	Program
	47.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	35.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
▶	33.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 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	50.8b	(+.f64 (/.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (-.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.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	43.7b	(+.f64 (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.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.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	35.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	33.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	43.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 h h))))))
	55.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (pow.f64 h 2/3) (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))))
	44.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 (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)))))))
	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	33.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	33.8b	(+.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)))))))
	45.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 g g) (-.f64 (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	35.7b	(+.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)))))))

Compiler

Compiled 4157 to 1910 computations (54.1% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
8.1b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite259.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

30.9b

Rules

8×	`sqrt-prod_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
6×	`add-log-exp_binary64`

Counts

4 → 59

Calls

4 calls:

10.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)))
3.0ms	(-.f64 (.f64 g g) (.f64 h h))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2670 to 886 computations (66.8% saved)

series194.0ms (1.5%)

Error

29.7b

Counts

4 → 35

Calls

4 calls:

71.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
22.0ms	(-.f64 (.f64 g g) (.f64 h h))
17.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
15.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3389 to 2329 computations (31.3% saved)

simplify118.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

562×	`associate-r_binary64`
277×	`exp-sum_binary64`
232×	`distribute-rgt-in_binary64`
222×	`distribute-lft-in_binary64`
172×	`*-commutative_binary64`

Counts

94 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	1672
1	416	1569
2	1141	1519
3	4132	1481
4	4906	1481
5	4952	1481

prune166.0ms (1.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	4	13	17
Picked	1	0	1
Done	0	0	0
Total	61	19	80

Error

30.9b

Counts

80 → 19

Alt Table

Status	Error	Program
	47.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	33.3b	(+.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a)) (cbrt.f64 1/2)) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	44.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 (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)))))))
	33.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	48.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))))) (cbrt.f64 (.f64 2 a))))
	50.8b	(+.f64 (/.f64 (cbrt.f64 (.f64 1/2 (/.f64 (.f64 h h) a))) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	38.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	45.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 g g) (-.f64 (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.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.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	43.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 h h))))))
	35.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
	55.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (pow.f64 h 2/3) (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))))
	57.1b	(+.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))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	33.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	43.7b	(+.f64 (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.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.8b	(+.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)))))))
	43.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))

Compiler

Compiled 3775 to 1748 computations (53.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
8.1b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite250.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

30.9b

Rules

8×	`sqrt-prod_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
6×	`add-log-exp_binary64`

Counts

4 → 59

Calls

4 calls:

10.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
3.0ms	(-.f64 (.f64 g g) (.f64 h h))
3.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2670 to 886 computations (66.8% saved)

series225.0ms (1.8%)

Error

29.7b

Counts

4 → 35

Calls

4 calls:

77.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.0ms	(-.f64 (.f64 g g) (.f64 h h))
23.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
21.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3389 to 2329 computations (31.3% saved)

simplify117.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

562×	`associate-r_binary64`
277×	`exp-sum_binary64`
232×	`distribute-rgt-in_binary64`
222×	`distribute-lft-in_binary64`
172×	`*-commutative_binary64`

Counts

94 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	1672
1	416	1569
2	1141	1519
3	4132	1481
4	4906	1481
5	4952	1481

prune279.0ms (2.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	3	15	18
Picked	1	0	1
Done	0	0	0
Total	64	17	81

Error

30.9b

Counts

81 → 17

Alt Table

Status	Error	Program
	47.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	33.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (/.f64 1/2 a))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	38.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	45.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 g g) (-.f64 (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.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.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))))
	43.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 h h))))))
	35.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
	55.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (pow.f64 h 2/3) (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))))
▶	33.3b	(+.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a)) (cbrt.f64 1/2)) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	57.1b	(+.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))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	48.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 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	33.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	43.7b	(+.f64 (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3) (pow.f64 g 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.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.8b	(+.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)))))))
	43.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))

Compiler

Compiled 3551 to 1644 computations (53.7% saved)

localize46.0ms (0.4%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
8.1b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite421.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

30.9b

Rules

30×	`add-sqr-sqrt_binary64`
22×	`cbrt-prod_binary64`
22×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64`

Counts

4 → 76

Calls

4 calls:

16.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
6.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 3053 to 889 computations (70.9% saved)

series265.0ms (2.1%)

Error

29.7b

Counts

4 → 35

Calls

4 calls:

88.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))
43.0ms	(-.f64 (.f64 g g) (.f64 h h))
34.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3262 to 2251 computations (31% saved)

simplify283.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

230×	`exp-prod_binary64`
218×	`exp-sum_binary64`
189×	`unswap-sqr_binary64`
171×	`exp-diff_binary64`
167×	`associate-l_binary64`

Counts

111 → 63

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	192	2372
1	382	2255
2	797	2232
3	2225	2176
4	4473	2170
5	4956	2170
6	4992	2170
7	4948	2170

prune255.0ms (2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	59	4	63
Fresh	4	12	16
Picked	1	0	1
Done	0	0	0
Total	64	16	80

Error

30.9b

Counts

80 → 16

Alt Table

Status	Error	Program
	47.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
	41.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))) (sqrt.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	33.2b	(+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 1/2)) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	48.0b	(+.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a)) (cbrt.f64 1/2)) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (neg.f64 g))) (cbrt.f64 (.f64 2 a))))
	57.1b	(+.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))))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	32.5b	(+.f64 (.f64 (.f64 (cbrt.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)))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 1/2)) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	48.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 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	33.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a)) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a)))) (cbrt.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a)))) (cbrt.f64 1/2)) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	48.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))))
	43.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (pow.f64 (neg.f64 g) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))) (cbrt.f64 (+.f64 (.f64 g g) (-.f64 (.f64 g (-.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (.f64 h h))))))
	35.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
	55.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (pow.f64 h 2/3) (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))))
	33.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	33.8b	(+.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)))))))
	43.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))

Compiler

Compiled 2432 to 1040 computations (57.2% saved)

regimes5.4s (42.6%)

Accuracy

Total 0.7b remaining (2.2%)

Threshold costs 0.7b (2.2%)

Compiler

Compiled 74553 to 44051 computations (40.9% saved)

bsearch23.0ms (0.2%)

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

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
14×	`*-commutative_binary64`
12×	`sub-neg_binary64`
9×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	47	275
1	69	275
2	83	275
3	100	275
4	111	271
5	119	271
6	122	271
7	123	271
8	121	271

end2.0ms (0%)

Compiler: Compiled 175 to 76 computations (56.6% saved)

sample2.7s (21%)

Algorithm

1×

intervals

Results

1.8s	7590×	body	256	valid
124.0ms	1120×	body	128	nan
48.0ms	410×	body	128	valid

Compiler

Compiled 952 to 497 computations (47.8% saved)

Iter	Nodes	Cost
0	47	275
1	69	275
2	83	275
3	100	275
4	111	271
5	119	271
6	122	271
7	123	271
8	121	271

Iter	Nodes	Cost
0	47	275
1	69	275
2	83	275
3	100	275
4	111	271
5	119	271
6	122	271
7	123	271
8	121	271

Details

analyze705.0ms (5.6%)

sample73.0ms (0.6%)

simplify238.0ms (1.9%)

prune6.0ms (0%)

localize19.0ms (0.1%)

rewrite148.0ms (1.2%)

series227.0ms (1.8%)

simplify110.0ms (0.9%)

prune129.0ms (1%)

localize19.0ms (0.2%)

rewrite259.0ms (2.1%)

series194.0ms (1.5%)

simplify118.0ms (0.9%)

prune166.0ms (1.3%)

localize23.0ms (0.2%)

rewrite250.0ms (2%)

series225.0ms (1.8%)

simplify117.0ms (0.9%)

prune279.0ms (2.2%)

localize46.0ms (0.4%)

rewrite421.0ms (3.3%)

series265.0ms (2.1%)

simplify283.0ms (2.2%)

prune255.0ms (2%)

regimes5.4s (42.6%)

bsearch23.0ms (0.2%)

simplify13.0ms (0.1%)

end2.0ms (0%)

sample2.7s (21%)

Profiling

Iter	Nodes	Cost
0	47	275
1	69	275
2	83	275
3	100	275
4	111	271
5	119	271
6	122	271
7	123	271
8	121	271