Details

analyze464.0ms (6.4%)

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)

sample56.0ms (0.8%)

Algorithm

1×

intervals

Results

13.0ms	109×	body	256	valid
9.0ms	50×	body	512	valid
8.0ms	276×	pre	128	true
6.0ms	97×	body	128	valid
1.0ms	20×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify296.0ms (4.1%)

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

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

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)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite112.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

49.1b

Rules

20×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
9×	`pow1_binary64`

Counts

4 → 77

Calls

4 calls:

8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
7.0ms	(.f64 (.f64 3 a) c)
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series194.0ms (2.7%)

Error

0.3b

Counts

4 → 60

Calls

4 calls:

99.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
38.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
28.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
13.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify87.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

695×	`associate-/l*_binary64`
251×	`distribute-rgt-in_binary64`
228×	`distribute-rgt-neg-in_binary64`
222×	`distribute-lft-in_binary64`
205×	`distribute-lft-neg-in_binary64`

Counts

137 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	222	3206
1	584	2948
2	2128	2923
3	5331	2923

prune54.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	103	7	110
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	8	111

Error

0.3b

Counts

111 → 8

Alt Table

Status	Error	Program
	51.7b	(/.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 c a))))) b)) (.f64 c (*.f64 a -3)))))
	1.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	51.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	51.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) b)) (.f64 c (.f64 a -3)))) (.f64 3 a))
	51.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
▶	1.4b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) (.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
✓	51.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	51.7b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))

Compiler

Compiled 2051 to 1182 computations (42.4% saved)

localize30.0ms (0.4%)

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

rewrite290.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

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

Counts

4 → 188

Calls

4 calls:

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

Compiler

Compiled 7276 to 4616 computations (36.6% saved)

series158.0ms (2.2%)

Error

0.3b

Counts

4 → 30

Calls

4 calls:

55.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
53.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
24.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
23.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2973 to 2195 computations (26.2% saved)

simplify168.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

418×	`log-prod_binary64`
316×	`associate-l_binary64`
307×	`exp-prod_binary64`
296×	`associate-/l*_binary64`
271×	`log-div_binary64`

Counts

218 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	249	3834
1	524	3467
2	2873	3428
3	4145	3348
4	4942	3348
5	4910	3348

prune179.0ms (2.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	180	8	188

Error

0.3b

Counts

188 → 8

Alt Table

Status	Error	Program
	51.7b	(/.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 c a))))) b)) (.f64 c (*.f64 a -3)))))
▶	1.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	51.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	51.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) b)) (.f64 c (.f64 a -3)))) (.f64 3 a))
	51.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
✓	1.4b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) (.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
✓	51.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	51.7b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))

Compiler

Compiled 3706 to 2349 computations (36.6% saved)

localize31.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite268.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

46×	`pow1_binary64`
36×	`add-exp-log_binary64`
26×	`add-cbrt-cube_binary64`
23×	`add-sqr-sqrt_binary64`
19×	`prod-exp_binary64`

Counts

4 → 127

Calls

4 calls:

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

Compiler

Compiled 7637 to 4614 computations (39.6% saved)

series160.0ms (2.2%)

Error

0.3b

Counts

4 → 39

Calls

4 calls:

80.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
26.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
24.0ms	(pow.f64 (*.f64 c a) 3)
22.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 2927 to 2104 computations (28.1% saved)

simplify145.0ms (2%)

Algorithm

1×	egg-herbie

Rules

502×	`unswap-sqr_binary64`
366×	`associate-r_binary64`
349×	`associate-l_binary64`
310×	`log-prod_binary64`
171×	`*-commutative_binary64`

Counts

166 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	248	4814
1	688	3953
2	3182	3923
3	4715	3923
4	4930	3923

prune135.0ms (1.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	137	11	148

Error

0.2b

Counts

148 → 11

Alt Table

Status	Error	Program
	51.7b	(/.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 c a))))) b)) (.f64 c (*.f64 a -3)))))
✓	1.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	51.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	51.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) b)) (.f64 c (.f64 a -3)))) (.f64 3 a))
	51.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
▶	1.7b	(/.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) 3) a)
✓	1.4b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) (.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
	2.4b	(/.f64 (-.f64 (pow.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) 3) (pow.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) 3)) (.f64 (.f64 3 a) (+.f64 (.f64 (.f64 (/.f64 c b) a) (.f64 (.f64 (/.f64 c b) a) 9/4)) (.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (+.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))))))))
	4.4b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (+.f64 (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (-.f64 (.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))))) (.f64 b (+.f64 (pow.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) 3) (pow.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))) 3)))) (.f64 (.f64 3 a) (.f64 b (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 81/64)) (.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))) (+.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))) (.f64 (/.f64 (pow.f64 (*.f64 c a) 2) (pow.f64 b 3)) -9/8)))))))
✓	51.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	51.7b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))

Compiler

Compiled 5622 to 3515 computations (37.5% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite311.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

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

Counts

4 → 127

Calls

4 calls:

25.0ms	(pow.f64 (*.f64 c a) 3)
5.0ms	(/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))
3.0ms	(pow.f64 (*.f64 c a) 4)
3.0ms	(pow.f64 (*.f64 c a) 2)

Compiler

Compiled 6196 to 3908 computations (36.9% saved)

series130.0ms (1.8%)

Error

0.2b

Counts

4 → 27

Calls

4 calls:

59.0ms	(/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))
22.0ms	(pow.f64 (*.f64 c a) 4)
22.0ms	(pow.f64 (*.f64 c a) 3)
20.0ms	(pow.f64 (*.f64 c a) 2)

Compiler

Compiled 2958 to 2154 computations (27.2% saved)

simplify100.0ms (1.4%)

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

prune93.0ms (1.3%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	108	11	119

Error

0.2b

Counts

119 → 11

Alt Table

Status	Error	Program
	51.7b	(/.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 c a))))) b)) (.f64 c (*.f64 a -3)))))
	1.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	51.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	51.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) b)) (.f64 c (.f64 a -3)))) (.f64 3 a))
	51.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
	1.7b	(/.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) 3) a)
	1.4b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) (.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
	2.4b	(/.f64 (-.f64 (pow.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) 3) (pow.f64 (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) 3)) (.f64 (.f64 3 a) (+.f64 (.f64 (.f64 (/.f64 c b) a) (.f64 (.f64 (/.f64 c b) a) 9/4)) (.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (+.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))))))))
	4.4b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (+.f64 (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (-.f64 (.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))))) (.f64 b (+.f64 (pow.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) 3) (pow.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))) 3)))) (.f64 (.f64 3 a) (.f64 b (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 81/64)) (.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))) (+.f64 (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))) (.f64 (/.f64 (pow.f64 (*.f64 c a) 2) (pow.f64 b 3)) -9/8)))))))
	51.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	51.7b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))

Compiler

Compiled 2416 to 1526 computations (36.8% saved)

regimes1.1s (15.9%)

Accuracy

Total 1.3b remaining (86.3%)

Threshold costs 0b (0%)

Compiler

Compiled 36550 to 24398 computations (33.2% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative_binary64`
19×	`+-commutative_binary64`
19×	`sub-neg_binary64`
16×	`neg-sub0_binary64`
16×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	67
1	60	67
2	80	67
3	98	67
4	131	67
5	159	67
6	176	67
7	184	67
8	185	67
9	182	67

end1.0ms (0%)

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

sample2.6s (35.4%)

Algorithm

1×

intervals

Results

531.0ms	3808×	body	256	valid
280.0ms	8806×	pre	128	true
280.0ms	1459×	body	512	valid
191.0ms	2733×	body	128	valid
49.0ms	806×	body	128	nan

Compiler

Compiled 861 to 566 computations (34.3% saved)

Details

analyze464.0ms (6.4%)

sample56.0ms (0.8%)

simplify296.0ms (4.1%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite112.0ms (1.6%)

series194.0ms (2.7%)

simplify87.0ms (1.2%)

prune54.0ms (0.7%)

localize30.0ms (0.4%)

rewrite290.0ms (4%)

series158.0ms (2.2%)

simplify168.0ms (2.3%)

prune179.0ms (2.5%)

localize31.0ms (0.4%)

rewrite268.0ms (3.7%)

series160.0ms (2.2%)

simplify145.0ms (2%)

prune135.0ms (1.9%)

localize27.0ms (0.4%)

rewrite311.0ms (4.3%)

series130.0ms (1.8%)

simplify100.0ms (1.4%)

prune93.0ms (1.3%)

regimes1.1s (15.9%)

simplify9.0ms (0.1%)

end1.0ms (0%)

sample2.6s (35.4%)

Profiling