Details

analyze417.0ms (5.5%)

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)

sample48.0ms (0.6%)

Algorithm

1×

intervals

Results

11.0ms	117×	body	256	valid
10.0ms	275×	pre	128	true
7.0ms	48×	body	512	valid
4.0ms	91×	body	128	valid
1.0ms	19×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify318.0ms (4.2%)

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

51.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	51.7b	(/.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.0b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.3b	(.f64 (.f64 3 a) c)
24.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite348.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

49.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:

206.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
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)

Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series191.0ms (2.5%)

Error

0.2b

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))
49.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
40.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)

simplify92.0ms (1.2%)

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

prune70.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	99	8	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	8	108

Error

0.1b

Counts

108 → 8

Alt Table

Status	Error	Program
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	51.8b	(/.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)))))))
	52.1b	(/.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))
	51.5b	(/.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))
	51.8b	(/.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))
	51.7b	(/.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))
	2.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))
▶	2.0b	(-.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))))

Compiler

Compiled 2110 to 1210 computations (42.7% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite372.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

131×	`add-exp-log_binary64`
64×	`prod-exp_binary64`
43×	`add-sqr-sqrt_binary64`
39×	`div-exp_binary64`
38×	`add-cbrt-cube_binary64`

Counts

4 → 189

Calls

4 calls:

13.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
13.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))
8.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 7874 to 4939 computations (37.3% saved)

series223.0ms (3%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

67.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
61.0ms	(.f64 3/8 (/.f64 (.f64 a (*.f64 c c)) (pow.f64 b 3)))
57.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
33.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 3306 to 2460 computations (25.6% saved)

simplify152.0ms (2%)

Algorithm

1×	egg-herbie

Rules

556×	`log-prod_binary64`
362×	`associate-l_binary64`
350×	`times-frac_binary64`
319×	`associate-r_binary64`
308×	`associate-/l*_binary64`

Counts

222 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	3916
1	598	3508
2	3491	3398
3	4645	3398
4	5354	3398

prune125.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	171	8	179

Error

0.1b

Counts

179 → 8

Alt Table

Status	Error	Program
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	51.8b	(/.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)))))))
	52.1b	(/.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))
	51.5b	(/.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))
	51.8b	(/.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))
	51.7b	(/.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))
▶	2.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))
✓	2.0b	(-.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))))

Compiler

Compiled 3370 to 2096 computations (37.8% saved)

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite369.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

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

series224.0ms (3%)

Error

0.1b

Counts

4 → 42

Calls

4 calls:

92.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))
31.0ms	(pow.f64 (*.f64 a c) 3)
30.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 3200 to 2362 computations (26.2% saved)

simplify174.0ms (2.3%)

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	5075	4380

prune174.0ms (2.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	151	5	156
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	152	12	164

Error

0.1b

Counts

164 → 12

Alt Table

Status	Error	Program
▶	2.3b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 a c) b) a)) (/.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 a 3)))
	2.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)))) (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))))
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	51.8b	(/.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)))))))
	52.1b	(/.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))
	51.5b	(/.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))
	6.8b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (log.f64 (exp.f64 (/.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))
	3.3b	(.f64 (/.f64 (.f64 (cbrt.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)))))) (cbrt.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))))))) 3) (/.f64 (cbrt.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))
	2.5b	(/.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)))
	51.8b	(/.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))
	51.7b	(/.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))
✓	2.0b	(-.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))))

Compiler

Compiled 5657 to 3541 computations (37.4% saved)

localize30.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite263.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

18×	`add-exp-log_binary64`
13×	`pow1_binary64`
12×	`add-cbrt-cube_binary64`
9×	`add-cube-cbrt_binary64` `pow-unpow_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`pow-pow_binary64` `pow-exp_binary64`

Counts

4 → 83

Calls

4 calls:

23.0ms	(/.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 a 3))
6.0ms	(pow.f64 (*.f64 a c) 2)
4.0ms	(pow.f64 (*.f64 a c) 3)
4.0ms	(pow.f64 (*.f64 a c) 4)

Compiler

Compiled 4926 to 3042 computations (38.2% saved)

series269.0ms (3.6%)

Error

0.1b

Counts

4 → 35

Calls

4 calls:

163.0ms	(/.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 a 3))
31.0ms	(pow.f64 (*.f64 a c) 3)
29.0ms	(pow.f64 (*.f64 a c) 4)
28.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 3222 to 2286 computations (29.1% saved)

simplify87.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

888×	`times-frac_binary64`
423×	`distribute-rgt-in_binary64`
194×	`unswap-sqr_binary64`
164×	`associate-l_binary64`
158×	`associate-r_binary64`

Counts

118 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	3292
1	451	2893
2	1873	2858
3	5084	2858

prune109.0ms (1.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	87	12	99

Error

0.1b

Counts

99 → 12

Alt Table

Status	Error	Program
	2.3b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 a c) b) a)) (/.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 a 3)))
	2.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)))) (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))))
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	51.8b	(/.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)))))))
	52.1b	(/.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))
	51.5b	(/.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))
	6.8b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 a c) b)) (+.f64 (+.f64 (.f64 9/8 (log.f64 (exp.f64 (/.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))
	3.3b	(.f64 (/.f64 (.f64 (cbrt.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)))))) (cbrt.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))))))) 3) (/.f64 (cbrt.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))
	2.5b	(/.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)))
	51.8b	(/.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))
	51.7b	(/.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))
	2.0b	(-.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))))

Compiler

Compiled 2743 to 1697 computations (38.1% saved)

regimes1.4s (18.7%)

Accuracy

Total 1.3b remaining (88.1%)

Threshold costs 0b (0%)

Compiler

Compiled 32952 to 21863 computations (33.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

28×	`*-commutative_binary64`
24×	`+-commutative_binary64`
21×	`neg-mul-1_binary64` `neg-sub0_binary64` `sub-neg_binary64`
14×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
6×	`unsub-neg_binary64` `distribute-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	164	67
6	194	67
7	211	67
8	221	67
9	225	67
10	221	67

end2.0ms (0%)

Compiler: Compiled 48 to 37 computations (22.9% saved)

sample2.0s (26.5%)

Algorithm

1×

intervals

Results

392.0ms	3844×	body	256	valid
265.0ms	8815×	pre	128	true
211.0ms	1449×	body	512	valid
136.0ms	2707×	body	128	valid
38.0ms	815×	body	128	nan

Compiler

Compiled 826 to 539 computations (34.7% saved)

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	164	67
6	194	67
7	211	67
8	221	67
9	225	67
10	221	67

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	164	67
6	194	67
7	211	67
8	221	67
9	225	67
10	221	67

Details

analyze417.0ms (5.5%)

sample48.0ms (0.6%)

simplify318.0ms (4.2%)

prune4.0ms (0.1%)

localize10.0ms (0.1%)

rewrite348.0ms (4.6%)

series191.0ms (2.5%)

simplify92.0ms (1.2%)

prune70.0ms (0.9%)

localize28.0ms (0.4%)

rewrite372.0ms (4.9%)

series223.0ms (3%)

simplify152.0ms (2%)

prune125.0ms (1.7%)

localize33.0ms (0.4%)

rewrite369.0ms (4.9%)

series224.0ms (3%)

simplify174.0ms (2.3%)

prune174.0ms (2.3%)

localize30.0ms (0.4%)

rewrite263.0ms (3.5%)

series269.0ms (3.6%)

simplify87.0ms (1.2%)

prune109.0ms (1.4%)

regimes1.4s (18.7%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample2.0s (26.5%)

Profiling

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	164	67
6	194	67
7	211	67
8	221	67
9	225	67
10	221	67