Details

analyze436.0ms (4.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 33 to 24 computations (27.3% saved)

sample38.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	244×	body	128	valid
8.0ms	291×	pre	128	true
2.0ms	35×	body	128	nan
1.0ms	12×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify324.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

904×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`
521×	`associate-/l/_binary64`
427×	`associate-/r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	29	24
2	62	24
3	125	24
4	175	24
5	284	24
6	456	24
7	759	24
8	1186	24
9	1635	24
10	1913	24
11	1868	24
12	1916	24
13	1985	24
14	2029	24
15	1597	24
16	1589	24
17	1581	24
18	1585	24
19	1587	24
20	1587	24
21	1801	24
22	1901	24
23	1835	24
24	1843	24
25	1865	24
26	1877	24
27	1883	24
28	1883	24
29	1927	24
30	1983	24
31	1935	24
32	1935	24
33	1746	24

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

29.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.0b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.3b	(.f64 (.f64 3 a) c)
0.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
28.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite115.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

27.0b

Rules

20×	`add-sqr-sqrt_binary64`
14×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `*-un-lft-identity_binary64`
9×	`pow1_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`difference-of-squares_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 77

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
5.0ms	(.f64 (.f64 3 a) c)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series188.0ms (2.1%)

Error

1.1b

Counts

4 → 60

Calls

4 calls:

62.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
48.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
39.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
17.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify91.0ms (1%)

Algorithm

1×	egg-herbie

Rules

701×	`associate-/l*_binary64`
244×	`distribute-rgt-in_binary64`
224×	`distribute-rgt-neg-in_binary64`
214×	`distribute-lft-in_binary64`
205×	`distribute-lft-neg-in_binary64`

Counts

137 → 107

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	220	3206
1	575	2948
2	2075	2923
3	5261	2923

prune95.0ms (1.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	91	16	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	16	108

Error

0.8b

Counts

108 → 16

Alt Table

Status	Error	Program
	29.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	29.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	30.0b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))) (sqrt.f64 b)) a))
	32.4b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a))))
	28.2b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	29.0b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) a))
	29.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (.f64 c -3)))) (.f64 3 a))
	32.8b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	30.0b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))
	29.1b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
▶	6.3b	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) (.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))
	12.0b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (*.f64 3 a))
	29.1b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (.f64 (pow.f64 (.f64 a c) 3) 27)) (+.f64 (pow.f64 b 4) (.f64 3 (.f64 (.f64 a c) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))))))) b) (*.f64 3 a))
	29.2b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 b b)) (.f64 (.f64 3 a) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
	6.5b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
	29.2b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3) (pow.f64 b 3)) (.f64 (.f64 3 a) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (*.f64 c -3)))))

Compiler

Compiled 2644 to 1554 computations (41.2% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
0.3b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
0.4b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))

rewrite426.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

155×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
50×	`pow-to-exp_binary64` `pow-exp_binary64`
40×	`add-sqr-sqrt_binary64`

Counts

4 → 202

Calls

4 calls:

9.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
9.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
8.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
8.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 7856 to 4975 computations (36.7% saved)

series237.0ms (2.7%)

Error

0.8b

Counts

4 → 33

Calls

4 calls:

73.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
70.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
57.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
31.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 3306 to 2442 computations (26.1% saved)

simplify164.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

434×	`associate-/l*_binary64`
413×	`times-frac_binary64`
354×	`log-div_binary64` `associate-l_binary64`
299×	`associate-r_binary64`
247×	`associate-/r*_binary64`

Counts

235 → 169

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	300	4233
1	636	3876
2	3930	3758
3	4714	3758
4	5016	3758

prune122.0ms (1.4%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	15	15
Picked	0	1	1
Done	0	0	0
Total	169	16	185

Error

0.8b

Counts

185 → 16

Alt Table

Status	Error	Program
	29.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	29.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	30.0b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))) (sqrt.f64 b)) a))
	32.4b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a))))
	28.2b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	29.0b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) a))
	29.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (.f64 c -3)))) (.f64 3 a))
	32.8b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	30.0b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))
	29.1b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
✓	6.3b	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) (.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))
	12.0b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (*.f64 3 a))
	29.1b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (.f64 (pow.f64 (.f64 a c) 3) 27)) (+.f64 (pow.f64 b 4) (.f64 3 (.f64 (.f64 a c) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))))))) b) (*.f64 3 a))
	29.2b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 b b)) (.f64 (.f64 3 a) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
▶	6.5b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
	29.2b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3) (pow.f64 b 3)) (.f64 (.f64 3 a) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (*.f64 c -3)))))

Compiler

Compiled 3392 to 2118 computations (37.6% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
0.5b	(.f64 (.f64 a c) (*.f64 a c))
0.7b	(pow.f64 (*.f64 a c) 3)

rewrite329.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

83×	`add-exp-log_binary64`
46×	`pow1_binary64`
37×	`prod-exp_binary64`
32×	`div-exp_binary64`
30×	`pow-exp_binary64`

Counts

4 → 142

Calls

4 calls:

30.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
8.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
7.0ms	(.f64 (.f64 a c) (*.f64 a c))
4.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 7657 to 4555 computations (40.5% saved)

series237.0ms (2.7%)

Error

0.8b

Counts

4 → 42

Calls

4 calls:

94.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
73.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
31.0ms	(pow.f64 (*.f64 a c) 3)
29.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 3251 to 2320 computations (28.6% saved)

simplify176.0ms (2%)

Algorithm

1×	egg-herbie

Rules

448×	`unswap-sqr_binary64`
320×	`log-prod_binary64`
305×	`associate-r_binary64`
288×	`associate-l_binary64`
161×	`associate-/l*_binary64`

Counts

184 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	269	5497
1	725	4511
2	3311	4481
3	4798	4481
4	5054	4481

prune235.0ms (2.6%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	147	10	157
Fresh	1	13	14
Picked	1	0	1
Done	0	1	1
Total	149	24	173

Error

0.8b

Counts

173 → 24

Alt Table

Status	Error	Program
▶	6.4b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 a c) b) a)) (/.f64 (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128)) (*.f64 a 3)))
	29.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	29.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	6.5b	(/.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) 3) a)
	6.6b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 a c)) (-.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (.f64 b (-.f64 (.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))) (.f64 (.f64 a 3) (.f64 b (-.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)) 405/128)))))
	6.5b	(.f64 1/3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)) 405/128))) a))
	30.0b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))) (sqrt.f64 b)) a))
	32.4b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a))))
	28.2b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	7.1b	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))))) (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)) 405/128)))) a)))
	6.6b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 a c)) (+.f64 (.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (-.f64 (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))) (.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))) (.f64 b (+.f64 (pow.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) 3) (pow.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) 3)))) (.f64 (.f64 a 3) (.f64 b (+.f64 (.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) (-.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 164025/16384) (.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) 405/128)))))))
	7.1b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128)))) (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))))) 3) (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128)))) a))
	29.0b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) a))
	29.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (.f64 c -3)))) (.f64 3 a))
	32.8b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	30.0b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))
	29.1b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
✓	6.3b	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) (.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))
	7.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) (.f64 a 3))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) (.f64 a 3)))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) (*.f64 a 3))))
	23.5b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (log.f64 (exp.f64 (pow.f64 (.f64 a c) 2))) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
	29.1b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (.f64 (pow.f64 (.f64 a c) 3) 27)) (+.f64 (pow.f64 b 4) (.f64 3 (.f64 (.f64 a c) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))))))) b) (*.f64 3 a))
	29.2b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 b b)) (.f64 (.f64 3 a) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
	23.4b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) a))))
	29.2b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3) (pow.f64 b 3)) (.f64 (.f64 3 a) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (*.f64 c -3)))))

Compiler

Compiled 7362 to 4613 computations (37.3% saved)

localize35.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))
0.5b	(pow.f64 (*.f64 a c) 2)
0.7b	(pow.f64 (*.f64 a c) 3)
0.9b	(pow.f64 (*.f64 a c) 4)

rewrite402.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

35×	`times-frac_binary64`
33×	`add-exp-log_binary64`
29×	`unpow-prod-down_binary64`
27×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
17×	`sqr-pow_binary64`

Counts

4 → 127

Calls

4 calls:

6.0ms	(/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))
4.0ms	(pow.f64 (*.f64 a c) 3)
4.0ms	(pow.f64 (*.f64 a c) 4)
4.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 6420 to 3908 computations (39.1% saved)

series176.0ms (2%)

Error

0.8b

Counts

4 → 27

Calls

4 calls:

75.0ms	(/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))
30.0ms	(pow.f64 (*.f64 a c) 4)
30.0ms	(pow.f64 (*.f64 a c) 3)
29.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 3072 to 2154 computations (29.9% saved)

simplify108.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

569×	`associate-/r*_binary64`
319×	`associate-/l/_binary64`
309×	`log-prod_binary64`
279×	`associate-*l/_binary64`
274×	`log-div_binary64`

Counts

154 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	176	2425
1	295	2293
2	1096	2183
3	4097	2183
4	4995	2183

prune147.0ms (1.7%)

Pruning

24 alts after pruning (22 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	22	22
Picked	0	1	1
Done	0	1	1
Total	108	24	132

Error

0.8b

Counts

132 → 24

Alt Table

Status	Error	Program
	6.4b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 a c) b) a)) (/.f64 (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128)) (*.f64 a 3)))
	29.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	29.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	6.5b	(/.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) 3) a)
	6.6b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 a c)) (-.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (.f64 b (-.f64 (.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))) (.f64 (.f64 a 3) (.f64 b (-.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)) 405/128)))))
	6.5b	(.f64 1/3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)) 405/128))) a))
	30.0b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))) (sqrt.f64 b)) a))
	32.4b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a))))
	28.2b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	7.1b	(/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))))) (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)) 405/128)))) a)))
	6.6b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 a c)) (+.f64 (.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (-.f64 (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))) (.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))) (.f64 b (+.f64 (pow.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) 3) (pow.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) 3)))) (.f64 (.f64 a 3) (.f64 b (+.f64 (.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) (-.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 164025/16384) (.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) 405/128)))))))
	7.1b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128)))) (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))))) 3) (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128)))) a))
	29.0b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) a))
	29.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (.f64 c -3)))) (.f64 3 a))
	32.8b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	30.0b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))
	29.1b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	6.3b	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) (.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))
	7.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) (.f64 a 3))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) (.f64 a 3)))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) (*.f64 a 3))))
	23.5b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (log.f64 (exp.f64 (pow.f64 (.f64 a c) 2))) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
	29.1b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (.f64 (pow.f64 (.f64 a c) 3) 27)) (+.f64 (pow.f64 b 4) (.f64 3 (.f64 (.f64 a c) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))))))) b) (*.f64 3 a))
	29.2b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 b b)) (.f64 (.f64 3 a) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
	23.4b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) 405/128))) a))))
	29.2b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3) (pow.f64 b 3)) (.f64 (.f64 3 a) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) b)) (.f64 a (*.f64 c -3)))))

Compiler

Compiled 3363 to 2101 computations (37.5% saved)

regimes2.3s (26.5%)

Accuracy

Total 4.4b remaining (86.7%)

Threshold costs 0b (0%)

Compiler

Compiled 52757 to 34806 computations (34% saved)

bsearch34.0ms (0.4%)

Steps

Iters	Range		Point
3	0.03808242051909523	0.04764319269882331	0.0470456444375903

Compiler

Compiled 4 to 3 computations (25% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

31×	`*-commutative_binary64`
27×	`+-commutative_binary64`
25×	`sub-neg_binary64`
21×	`neg-mul-1_binary64` `neg-sub0_binary64`
19×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	118
1	79	118
2	105	118
3	147	118
4	180	118
5	213	118
6	236	118
7	246	118
8	249	118
9	245	118

end2.0ms (0%)

Compiler: Compiled 82 to 53 computations (35.4% saved)

sample2.3s (26%)

Algorithm

1×

intervals

Results

413.0ms	7701×	body	128	valid
278.0ms	8991×	pre	128	true
49.0ms	991×	body	128	nan
37.0ms	299×	body	256	valid

Compiler

Compiled 1780 to 1159 computations (34.9% saved)

Iter	Nodes	Cost
0	48	118
1	79	118
2	105	118
3	147	118
4	180	118
5	213	118
6	236	118
7	246	118
8	249	118
9	245	118

Iter	Nodes	Cost
0	48	118
1	79	118
2	105	118
3	147	118
4	180	118
5	213	118
6	236	118
7	246	118
8	249	118
9	245	118

Details

analyze436.0ms (4.9%)

sample38.0ms (0.4%)

simplify324.0ms (3.7%)

prune4.0ms (0%)

localize10.0ms (0.1%)

rewrite115.0ms (1.3%)

series188.0ms (2.1%)

simplify91.0ms (1%)

prune95.0ms (1.1%)

localize32.0ms (0.4%)

rewrite426.0ms (4.8%)

series237.0ms (2.7%)

simplify164.0ms (1.9%)

prune122.0ms (1.4%)

localize34.0ms (0.4%)

rewrite329.0ms (3.7%)

series237.0ms (2.7%)

simplify176.0ms (2%)

prune235.0ms (2.6%)

localize35.0ms (0.4%)

rewrite402.0ms (4.5%)

series176.0ms (2%)

simplify108.0ms (1.2%)

prune147.0ms (1.7%)

regimes2.3s (26.5%)

bsearch34.0ms (0.4%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample2.3s (26%)

Profiling

Iter	Nodes	Cost
0	48	118
1	79	118
2	105	118
3	147	118
4	180	118
5	213	118
6	236	118
7	246	118
8	249	118
9	245	118