Details

analyze435.0ms (7.1%)

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)

sample44.0ms (0.7%)

Algorithm

1×

intervals

Results

12.0ms	96×	body	256	valid
9.0ms	281×	pre	128	true
8.0ms	160×	body	128	valid
1.0ms	25×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify327.0ms (5.3%)

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

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

43.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	43.8b	(/.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.2%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.3b	(.f64 (.f64 3 a) c)
0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
37.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite140.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

41.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))
8.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)

series196.0ms (3.2%)

Error

0.5b

Counts

4 → 60

Calls

4 calls:

63.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
50.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))
15.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify95.0ms (1.6%)

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

prune77.0ms (1.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	98	9	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	9	108

Error

0.4b

Counts

108 → 9

Alt Table

Status	Error	Program
	3.0b	(/.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))
▶	2.6b	(-.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))))
	5.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	44.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))
	43.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.7b	(/.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))
	43.3b	(/.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))
	43.8b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	43.8b	(.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))

Compiler

Compiled 2094 to 1210 computations (42.2% saved)

localize34.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite374.0ms (6.1%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

144×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
51×	`div-exp_binary64`
49×	`pow-to-exp_binary64` `pow-exp_binary64`
40×	`add-sqr-sqrt_binary64`

Counts

4 → 188

Calls

4 calls:

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

Compiler

Compiled 7276 to 4615 computations (36.6% saved)

series214.0ms (3.5%)

Error

0.4b

Counts

4 → 30

Calls

4 calls:

76.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
71.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
32.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
31.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 2973 to 2195 computations (26.2% saved)

simplify175.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

541×	`log-prod_binary64`
315×	`associate-l_binary64`
301×	`exp-prod_binary64`
293×	`associate-/l*_binary64`
247×	`log-div_binary64`

Counts

218 → 157

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	247	3834
1	522	3467
2	2851	3428
3	4056	3348
4	4900	3348
5	5041	3348

prune108.0ms (1.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	157	9	166

Error

0.4b

Counts

166 → 9

Alt Table

Status	Error	Program
▶	3.0b	(/.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))
✓	2.6b	(-.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))))
	5.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	44.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))
	43.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.7b	(/.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))
	43.3b	(/.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))
	43.8b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	43.8b	(.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))

Compiler

Compiled 2695 to 1705 computations (36.7% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite382.0ms (6.2%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

98×	`add-exp-log_binary64`
63×	`times-frac_binary64`
46×	`pow1_binary64`
42×	`unpow-prod-down_binary64` `div-exp_binary64`
40×	`pow-exp_binary64`

Counts

4 → 207

Calls

4 calls:

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

Compiler

Compiled 9318 to 5520 computations (40.8% saved)

series228.0ms (3.7%)

Error

0.4b

Counts

4 → 30

Calls

4 calls:

79.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
78.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
33.0ms	(pow.f64 (*.f64 a c) 3)
31.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 3458 to 2402 computations (30.5% saved)

simplify157.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

440×	`unswap-sqr_binary64`
397×	`log-prod_binary64`
349×	`associate-/l*_binary64`
261×	`times-frac_binary64`
204×	`log-div_binary64`

Counts

237 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	4040
1	480	3621
2	2595	3473
3	4414	3473
4	4948	3473

prune128.0ms (2.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	191	9	200

Error

0.4b

Counts

200 → 9

Alt Table

Status	Error	Program
✓	3.0b	(/.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))
✓	2.6b	(-.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))))
▶	5.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	44.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))
	43.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.7b	(/.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))
	43.3b	(/.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))
	43.8b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	43.8b	(.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))

Compiler

Compiled 3720 to 2227 computations (40.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
0.2b	(.f64 a (.f64 c c))
0.3b	(.f64 3/8 (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3)))
0.3b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))

rewrite197.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

68×	`add-exp-log_binary64`
32×	`add-cbrt-cube_binary64`
31×	`prod-exp_binary64`
24×	`times-frac_binary64`
19×	`add-sqr-sqrt_binary64`

Counts

4 → 123

Calls

4 calls:

12.0ms	(.f64 3/8 (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3)))
9.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
7.0ms	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
6.0ms	(.f64 a (.f64 c c))

Compiler

Compiled 2635 to 1327 computations (49.6% saved)

series200.0ms (3.3%)

Error

0.4b

Counts

4 → 42

Calls

4 calls:

82.0ms	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
51.0ms	(.f64 3/8 (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3)))
46.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
18.0ms	(.f64 a (.f64 c c))

Compiler

Compiled 1494 to 1124 computations (24.8% saved)

simplify93.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

580×	`associate-/l/_binary64`
414×	`associate-/r/_binary64`
204×	`times-frac_binary64`
180×	`distribute-rgt-neg-in_binary64`
169×	`distribute-lft-neg-in_binary64`

Counts

165 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	184	2869
1	417	2629
2	1932	2610
3	4958	2610

prune80.0ms (1.3%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	129	2	131
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	129	11	140

Error

0.4b

Counts

140 → 11

Alt Table

Status	Error	Program
	3.0b	(/.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))
	2.6b	(-.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))))
	5.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	44.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))
	8.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (log.f64 (pow.f64 (exp.f64 (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3))) 3/8)))
	43.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.7b	(/.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))
	43.3b	(/.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))
	43.8b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	43.8b	(.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))
	5.9b	(cbrt.f64 (pow.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)) 3/8)) 3))

Compiler

Compiled 1512 to 833 computations (44.9% saved)

regimes731.0ms (11.9%)

Accuracy

Total 2.6b remaining (87.1%)

Threshold costs 0b (0%)

Compiler

Compiled 14758 to 9731 computations (34.1% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative_binary64`
20×	`+-commutative_binary64`
19×	`sub-neg_binary64`
17×	`neg-mul-1_binary64` `neg-sub0_binary64`
14×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	67
1	50	67
2	65	67
3	93	67
4	117	67
5	146	67
6	170	67
7	184	67
8	190	67
9	191	67
10	188	67

end1.0ms (0%)

Compiler: Compiled 48 to 35 computations (27.1% saved)

sample1.6s (26.8%)

Algorithm

1×

intervals

Results

309.0ms	2887×	body	256	valid
278.0ms	8876×	pre	128	true
272.0ms	5112×	body	128	valid
42.0ms	876×	body	128	nan
0.0ms	1×	body	512	valid

Compiler

Compiled 454 to 305 computations (32.8% saved)

Iter	Nodes	Cost
0	34	67
1	50	67
2	65	67
3	93	67
4	117	67
5	146	67
6	170	67
7	184	67
8	190	67
9	191	67
10	188	67

Iter	Nodes	Cost
0	34	67
1	50	67
2	65	67
3	93	67
4	117	67
5	146	67
6	170	67
7	184	67
8	190	67
9	191	67
10	188	67

Details

analyze435.0ms (7.1%)

sample44.0ms (0.7%)

simplify327.0ms (5.3%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

rewrite140.0ms (2.3%)

series196.0ms (3.2%)

simplify95.0ms (1.6%)

prune77.0ms (1.2%)

localize34.0ms (0.5%)

rewrite374.0ms (6.1%)

series214.0ms (3.5%)

simplify175.0ms (2.9%)

prune108.0ms (1.8%)

localize33.0ms (0.5%)

rewrite382.0ms (6.2%)

series228.0ms (3.7%)

simplify157.0ms (2.6%)

prune128.0ms (2.1%)

localize14.0ms (0.2%)

rewrite197.0ms (3.2%)

series200.0ms (3.3%)

simplify93.0ms (1.5%)

prune80.0ms (1.3%)

regimes731.0ms (11.9%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample1.6s (26.8%)

Profiling

Iter	Nodes	Cost
0	34	67
1	50	67
2	65	67
3	93	67
4	117	67
5	146	67
6	170	67
7	184	67
8	190	67
9	191	67
10	188	67