Details

analyze433.0ms (4.8%)

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)

sample36.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	246×	body	128	valid
8.0ms	283×	pre	128	true
1.0ms	27×	body	128	nan
1.0ms	10×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

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

27.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	27.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)

localize9.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))
26.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite118.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

25.2b

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:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
5.0ms	(.f64 (.f64 3 a) c)
5.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series201.0ms (2.2%)

Error

0.9b

Counts

4 → 60

Calls

4 calls:

67.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
51.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
42.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
18.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify93.0ms (1%)

Algorithm

1×	egg-herbie

Rules

701×	`associate-/l*_binary64`
244×	`distribute-rgt-in_binary64`
224×	`distribute-rgt-neg-in_binary64`
216×	`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	5268	2923

prune86.0ms (1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	93	14	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	14	108

Error

0.6b

Counts

108 → 14

Alt Table

Status	Error	Program
	27.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	27.0b	(/.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)))))
	29.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	27.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
▶	5.9b	(-.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))))
	27.4b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 9)) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b)))) b) (.f64 3 a))
	26.1b	(/.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))
	27.0b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) a)))
	11.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	27.0b	(/.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))
	26.9b	(/.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.1b	(/.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))
	27.0b	(.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))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	28.3b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 b)) (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) a)))

Compiler

Compiled 2484 to 1456 computations (41.4% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 a a) (pow.f64 c 3))
0.4b	(/.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))
0.4b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite377.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

112×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
39×	`pow-to-exp_binary64` `pow-exp_binary64` `div-exp_binary64`
29×	`unpow-prod-down_binary64`

Counts

4 → 186

Calls

4 calls:

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

Compiler

Compiled 7244 to 4588 computations (36.7% saved)

series202.0ms (2.2%)

Error

0.6b

Counts

4 → 30

Calls

4 calls:

75.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
56.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
33.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
31.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 3018 to 2226 computations (26.2% saved)

simplify154.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

610×	`log-prod_binary64`
395×	`associate-l_binary64`
320×	`associate-r_binary64`
302×	`times-frac_binary64`
301×	`associate-/l*_binary64`

Counts

216 → 156

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	3547
1	558	3204
2	3245	3125
3	4515	3125
4	5302	3125

prune123.0ms (1.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	156	14	170

Error

0.6b

Counts

170 → 14

Alt Table

Status	Error	Program
	27.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	27.0b	(/.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)))))
	29.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	27.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
✓	5.9b	(-.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))))
	27.4b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 9)) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b)))) b) (.f64 3 a))
	26.1b	(/.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))
	27.0b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) a)))
	11.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	27.0b	(/.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))
	26.9b	(/.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.1b	(/.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))
	27.0b	(.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))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	28.3b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 b)) (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) a)))

Compiler

Compiled 3371 to 2100 computations (37.7% saved)

localize31.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (.f64 (.f64 a c) (*.f64 a c)) (pow.f64 b 3))
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.8b	(pow.f64 (*.f64 a c) 3)

rewrite336.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

73×	`add-exp-log_binary64`
46×	`pow1_binary64`
42×	`add-cbrt-cube_binary64`
34×	`prod-exp_binary64`
18×	`pow-prod-down_binary64` `cbrt-unprod_binary64`

Counts

4 → 140

Calls

4 calls:

29.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))
14.0ms	(/.f64 (.f64 (.f64 a c) (*.f64 a c)) (pow.f64 b 3))
7.0ms	(.f64 (.f64 a c) (*.f64 a c))
4.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 8105 to 4731 computations (41.6% saved)

series229.0ms (2.5%)

Error

0.6b

Counts

4 → 42

Calls

4 calls:

97.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))
63.0ms	(/.f64 (.f64 (.f64 a c) (*.f64 a c)) (pow.f64 b 3))
30.0ms	(.f64 (.f64 a c) (*.f64 a c))
29.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 3200 to 2362 computations (26.2% saved)

simplify178.0ms (2%)

Algorithm

1×	egg-herbie

Rules

349×	`times-frac_binary64`
333×	`associate-r_binary64`
308×	`associate-l_binary64`
247×	`associate-/l*_binary64`
232×	`log-div_binary64`

Counts

182 → 156

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	5516
1	695	4419
2	4005	4380
3	4894	4380
4	5076	4380

prune242.0ms (2.7%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	147	9	156
Fresh	1	11	12
Picked	0	1	1
Done	0	1	1
Total	148	22	170

Error

0.5b

Counts

170 → 22

Alt Table

Status	Error	Program
	27.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	27.0b	(/.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)))))
	29.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	27.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
✓	5.9b	(-.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))))
	27.4b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 9)) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b)))) b) (.f64 3 a))
	6.2b	(/.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 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)))))))
	6.2b	(/.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 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (.f64 405/128 (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) (+.f64 (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -27/16) (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) -9/8)))))))))
▶	6.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) a)))
	6.6b	(/.f64 (-.f64 (pow.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) 3) (pow.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 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))) 3)) (.f64 (.f64 a 3) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (.f64 b b)) 9/4) (.f64 (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))) (+.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))))))))
	26.1b	(/.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))
	27.0b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) a)))
	27.0b	(/.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))
	26.9b	(/.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.1b	(/.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))
	27.0b	(.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))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	28.3b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 b)) (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) a)))
	6.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (.f64 a 3))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (.f64 a 3)))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (*.f64 a 3))))
	6.3b	(/.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)))) (pow.f64 b 7))) (.f64 b (+.f64 (.f64 (-.f64 (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (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 (pow.f64 a 4) (pow.f64 c 4))))))) (.f64 (.f64 a 3) (.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (pow.f64 b 8))))
	6.3b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (*.f64 a 3)) 3))
	6.5b	(/.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 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (-.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.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)))))) (pow.f64 b 7))) (.f64 b (+.f64 (.f64 (+.f64 (pow.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) 3) (pow.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) 3)) (pow.f64 b 7)) (.f64 (+.f64 (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (-.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.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 405/128 (.f64 (pow.f64 a 4) (pow.f64 c 4))))))) (.f64 (.f64 a 3) (.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 6)) 81/64) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) (-.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) 729/256) (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 243/128)))) (pow.f64 b 8))))
	21.0b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) a))))

Compiler

Compiled 7789 to 4901 computations (37.1% saved)

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite538.0ms (6%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

72×	`times-frac_binary64`
41×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
37×	`unpow-prod-down_binary64`
33×	`add-exp-log_binary64`
23×	`sqr-pow_binary64`

Counts

4 → 170

Calls

4 calls:

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

Compiler

Compiled 7666 to 4872 computations (36.4% saved)

series162.0ms (1.8%)

Error

0.5b

Counts

4 → 27

Calls

4 calls:

61.0ms	(/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))
31.0ms	(pow.f64 (*.f64 a c) 4)
30.0ms	(pow.f64 (*.f64 a c) 3)
28.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 3072 to 2213 computations (28% saved)

simplify134.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

813×	`associate-*l/_binary64`
500×	`log-div_binary64`
394×	`associate-/r/_binary64`
253×	`unswap-sqr_binary64`
203×	`times-frac_binary64`

Counts

197 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	202	2933
1	309	2840
2	1605	2768
3	4794	2768
4	5500	2768

prune204.0ms (2.3%)

Pruning

22 alts after pruning (19 fresh and 3 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	19	19
Picked	0	1	1
Done	0	2	2
Total	157	22	179

Error

0.5b

Counts

179 → 22

Alt Table

Status	Error	Program
	27.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	27.0b	(/.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)))))
	29.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) (.f64 3 a))
	27.0b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	5.9b	(-.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))))
	27.4b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 9)) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b)))) b) (.f64 3 a))
	6.2b	(/.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 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7)))))))
	6.2b	(/.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 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (.f64 405/128 (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)) (+.f64 (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -27/16) (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) -9/8)))))))))
	6.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) a)))
	6.6b	(/.f64 (-.f64 (pow.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) 3) (pow.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 405/128 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)))) 3)) (.f64 (.f64 a 3) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (.f64 b b)) 9/4) (.f64 (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))) (+.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))))))))
	26.1b	(/.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))
	27.0b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) a)))
	27.0b	(/.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))
	26.9b	(/.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.1b	(/.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))
	27.0b	(.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))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	28.3b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 b)) (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) a)))
	6.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (.f64 a 3))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (.f64 a 3)))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (*.f64 a 3))))
	6.3b	(/.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)))) (pow.f64 b 7))) (.f64 b (+.f64 (.f64 (-.f64 (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))))) (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 (pow.f64 a 4) (pow.f64 c 4))))))) (.f64 (.f64 a 3) (.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (pow.f64 b 8))))
	6.3b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) (*.f64 a 3)) 3))
	6.5b	(/.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 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (-.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.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)))))) (pow.f64 b 7))) (.f64 b (+.f64 (.f64 (+.f64 (pow.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) 3) (pow.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) 3)) (pow.f64 b 7)) (.f64 (+.f64 (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3))) (.f64 9/8 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (-.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5))) (.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 405/128 (.f64 (pow.f64 a 4) (pow.f64 c 4))))))) (.f64 (.f64 a 3) (.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 6)) 81/64) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) (-.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) 729/256) (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 243/128)))) (pow.f64 b 8))))
	21.0b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)) 9/8) (.f64 27/16 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)))) (.f64 405/128 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7))))) a))))

Compiler

Compiled 4240 to 2632 computations (37.9% saved)

regimes2.3s (26.1%)

Accuracy

Total 4.3b remaining (87.1%)

Threshold costs 0b (0%)

Compiler

Compiled 53081 to 34539 computations (34.9% saved)

bsearch43.0ms (0.5%)

Steps

Iters	Range		Point
3	0.008976142308703588	0.011908782658464375	0.011725492636604325

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

Algorithm

1×

intervals

Results

406.0ms	7710×	body	128	valid
260.0ms	8996×	pre	128	true
46.0ms	996×	body	128	nan
31.0ms	290×	body	256	valid

Compiler

Compiled 1953 to 1253 computations (35.8% 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

analyze433.0ms (4.8%)

sample36.0ms (0.4%)

simplify333.0ms (3.7%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite118.0ms (1.3%)

series201.0ms (2.2%)

simplify93.0ms (1%)

prune86.0ms (1%)

localize28.0ms (0.3%)

rewrite377.0ms (4.2%)

series202.0ms (2.2%)

simplify154.0ms (1.7%)

prune123.0ms (1.4%)

localize31.0ms (0.3%)

rewrite336.0ms (3.7%)

series229.0ms (2.5%)

simplify178.0ms (2%)

prune242.0ms (2.7%)

localize33.0ms (0.4%)

rewrite538.0ms (6%)

series162.0ms (1.8%)

simplify134.0ms (1.5%)

prune204.0ms (2.3%)

regimes2.3s (26.1%)

bsearch43.0ms (0.5%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample2.3s (25.8%)

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