Details

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

sample57.0ms (0.6%)

Algorithm

1×

intervals

Results

39.0ms	244×	body	256	valid
3.0ms	39×	body	128	nan
1.0ms	12×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

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

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

34.4b

Counts

2 → 2

Alt Table

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

▶

34.4b

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

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

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
9.1b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite197.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

30.4b

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:

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

series270.0ms (2.8%)

Error

30.3b

Counts

4 → 30

Calls

4 calls:

91.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))))))
21.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
20.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3661 to 2608 computations (28.8% saved)

simplify94.0ms (1%)

Algorithm

1×	egg-herbie

Rules

397×	`div-sub_binary64`
277×	`exp-sum_binary64`
270×	`distribute-rgt-in_binary64`
261×	`distribute-lft-in_binary64`
257×	`*-commutative_binary64`

Counts

90 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	2054
1	518	1986
2	1417	1894
3	4131	1809
4	5221	1809

prune161.0ms (1.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	46	16	62
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	48	16	64

Error

29.8b

Counts

64 → 16

Alt Table

Status	Error	Program
	44.4b	(+.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)))))))
	38.6b	(+.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)))))))))
	32.7b	(+.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)))))))
	34.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)) (cbrt.f64 -1/2)))
	48.4b	(+.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)))))))
	50.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 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
	32.7b	(+.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.2b	(+.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)))))))))
	45.8b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.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)))))
▶	32.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 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	42.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 (-.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)))))))
	50.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	44.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 (.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))))))
	32.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 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	40.9b	(+.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)))))))

Compiler

Compiled 3780 to 1758 computations (53.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.2b	(-.f64 (.f64 g g) (.f64 h h))
6.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite262.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

29.4b

Rules

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

Counts

4 → 59

Calls

4 calls:

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

Compiler

Compiled 2670 to 899 computations (66.3% saved)

series233.0ms (2.4%)

Error

28.8b

Counts

4 → 30

Calls

4 calls:

86.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
27.0ms	(-.f64 (.f64 g g) (.f64 h h))
21.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
20.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3098 to 2139 computations (31% saved)

simplify82.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

577×	`times-frac_binary64`
559×	`associate-r_binary64`
277×	`exp-sum_binary64`
232×	`distribute-rgt-in_binary64`
223×	`distribute-lft-in_binary64`

Counts

89 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	1616
1	409	1513
2	1124	1463
3	4015	1425
4	5347	1425

prune206.0ms (2.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	50	7	57
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	54	19	73

Error

29.4b

Counts

73 → 19

Alt Table

Status	Error	Program
	44.4b	(+.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)))))))
	38.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	55.0b	(+.f64 (/.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	39.4b	(+.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	32.7b	(+.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)))))))
	34.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)) (cbrt.f64 -1/2)))
	44.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))))
	50.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
	32.7b	(+.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.2b	(+.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)))))))))
	45.8b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	53.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) (/.f64 (sqrt.f64 (-.f64 (pow.f64 g 6) (pow.f64 h 6))) (sqrt.f64 (+.f64 (pow.f64 g 4) (+.f64 (pow.f64 h 4) (.f64 (.f64 h h) (.f64 g g))))))))))
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.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)))))
	42.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 (-.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)))))))
	53.2b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 (.f64 h h))) a))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	44.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 (.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))))))
▶	32.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 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	47.2b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (/.f64 2 a) (/.f64 -1 g)))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))

Compiler

Compiled 3579 to 1727 computations (51.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.2b	(-.f64 (.f64 g g) (.f64 h h))
6.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite294.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

29.4b

Rules

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

Counts

4 → 59

Calls

4 calls:

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

Compiler

Compiled 2670 to 899 computations (66.3% saved)

series242.0ms (2.5%)

Error

28.8b

Counts

4 → 30

Calls

4 calls:

87.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
25.0ms	(-.f64 (.f64 g g) (.f64 h h))
21.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
19.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3098 to 2139 computations (31% saved)

simplify90.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

577×	`times-frac_binary64`
559×	`associate-r_binary64`
277×	`exp-sum_binary64`
232×	`distribute-rgt-in_binary64`
223×	`distribute-lft-in_binary64`

Counts

89 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	1616
1	409	1513
2	1124	1463
3	4015	1425
4	5347	1425

prune254.0ms (2.6%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	53	4	57
Fresh	0	18	18
Picked	1	0	1
Done	0	0	0
Total	54	22	76

Error

29.4b

Counts

76 → 22

Alt Table

Status	Error	Program
	44.4b	(+.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)))))))
	43.8b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	38.6b	(+.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)))))))))
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	55.0b	(+.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	39.4b	(+.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	32.7b	(+.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)))))))
	34.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 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a)) (cbrt.f64 -1/2)))
	44.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))))
	53.3b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 (.f64 h h))) a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	50.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 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (.f64 h h) a))))))
▶	32.7b	(+.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.2b	(+.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)))))))))
	45.8b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	53.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) (/.f64 (sqrt.f64 (-.f64 (pow.f64 g 6) (pow.f64 h 6))) (sqrt.f64 (+.f64 (pow.f64 g 4) (+.f64 (pow.f64 h 4) (.f64 (.f64 h h) (.f64 g g))))))))))
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.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)))))
	42.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 (-.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)))))))
	53.2b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 (.f64 h h))) a))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	44.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 (.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))))))
	47.2b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (/.f64 2 a) (/.f64 -1 g)))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	44.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))))) (cbrt.f64 (.f64 2 a))))

Compiler

Compiled 3793 to 1881 computations (50.4% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.2b	(-.f64 (.f64 g g) (.f64 h h))
9.1b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite319.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

29.4b

Rules

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

Counts

4 → 59

Calls

4 calls:

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)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2613 to 888 computations (66% saved)

series249.0ms (2.6%)

Error

28.8b

Counts

4 → 30

Calls

4 calls:

89.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))
22.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
20.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2989 to 2095 computations (29.9% saved)

simplify94.0ms (1%)

Algorithm

1×	egg-herbie

Rules

570×	`times-frac_binary64`
452×	`associate-l_binary64`
427×	`associate-r_binary64`
237×	`distribute-rgt-in_binary64`
232×	`distribute-lft-in_binary64`

Counts

89 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	1634
1	374	1527
2	1063	1485
3	4104	1422
4	5478	1422

prune230.0ms (2.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	52	5	57
Fresh	4	17	21
Picked	1	0	1
Done	0	0	0
Total	57	22	79

Error

28.7b

Counts

79 → 22

Alt Table

Status	Error	Program
	44.4b	(+.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)))))))
	43.8b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	38.6b	(+.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)))))))))
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (.f64 2 a))))
	55.0b	(+.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	39.4b	(+.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	32.7b	(+.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)))))))
	44.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 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))))
	53.3b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 (.f64 h h))) a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
	32.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (.f64 (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)) (cbrt.f64 -1/2)))
	45.8b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (.f64 h h) (/.f64 -1/2 (.f64 g a))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	41.5b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (.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))))))
	53.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) (/.f64 (sqrt.f64 (-.f64 (pow.f64 g 6) (pow.f64 h 6))) (sqrt.f64 (+.f64 (pow.f64 g 4) (+.f64 (pow.f64 h 4) (.f64 (.f64 h h) (.f64 g g))))))))))
	48.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (.f64 (cbrt.f64 1/2) (cbrt.f64 (.f64 (/.f64 -1 g) (.f64 1/2 (/.f64 (*.f64 h h) a))))))
	44.7b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) g))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h)))))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	58.1b	(+.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)))))
	42.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 (-.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)))))))
	44.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 (.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))))))
	50.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (/.f64 (cbrt.f64 (.f64 h h)) (cbrt.f64 (.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))))
	47.2b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (/.f64 2 a) (/.f64 -1 g)))) (.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	44.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 h g)) (sqrt.f64 (-.f64 g h))))) (cbrt.f64 (.f64 2 a))))

Compiler

Compiled 2777 to 1282 computations (53.8% saved)

regimes3.2s (33%)

Accuracy

Total 1.2b remaining (3.9%)

Threshold costs 0b (0%)

Compiler

Compiled 66995 to 39146 computations (41.6% saved)

bsearch19.0ms (0.2%)

Steps

Iters	Range		Point
1	-2.4829264167821345e-171	-2.3425993732075764e-171	-2.447844655888495e-171

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
8×	`+-commutative_binary64`
7×	`sub-neg_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64`
1×	`1-exp_binary64` `cancel-sign-sub-inv_binary64` `distribute-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	100
1	59	100
2	68	100
3	75	100
4	79	100
5	80	100
6	79	100

end2.0ms (0%)

Compiler: Compiled 67 to 41 computations (38.8% saved)

sample2.3s (23.9%)

Algorithm

1×

intervals

Results

1.2s	7596×	body	256	valid
92.0ms	1202×	body	128	nan
32.0ms	404×	body	128	valid

Compiler

Compiled 1068 to 631 computations (40.9% saved)

Details

analyze518.0ms (5.3%)

sample57.0ms (0.6%)

simplify228.0ms (2.3%)

prune9.0ms (0.1%)

localize18.0ms (0.2%)

rewrite197.0ms (2%)

series270.0ms (2.8%)

simplify94.0ms (1%)

prune161.0ms (1.7%)

localize21.0ms (0.2%)

rewrite262.0ms (2.7%)

series233.0ms (2.4%)

simplify82.0ms (0.8%)

prune206.0ms (2.1%)

localize21.0ms (0.2%)

rewrite294.0ms (3%)

series242.0ms (2.5%)

simplify90.0ms (0.9%)

prune254.0ms (2.6%)

localize21.0ms (0.2%)

rewrite319.0ms (3.3%)

series249.0ms (2.6%)

simplify94.0ms (1%)

prune230.0ms (2.4%)

regimes3.2s (33%)

bsearch19.0ms (0.2%)

simplify6.0ms (0.1%)

end2.0ms (0%)

sample2.3s (23.9%)

Profiling