Details

analyze485.0ms (5.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)

sample48.0ms (0.5%)

Algorithm

1×

intervals

Results

20.0ms	246×	body	128	valid
8.0ms	280×	pre	128	true
1.0ms	24×	body	128	nan
1.0ms	10×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify318.0ms (3.6%)

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

27.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	27.5b	(/.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.2b	(-.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))
27.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite93.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

25.4b

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:

10.0ms	(.f64 (.f64 3 a) c)
8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
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)

series145.0ms (1.6%)

Error

1.1b

Counts

4 → 60

Calls

4 calls:

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

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify92.0ms (1%)

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

prune58.0ms (0.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	97	13	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	13	111

Error

0.8b

Counts

111 → 13

Alt Table

Status	Error	Program
	28.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	12.3b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 3 a))
	27.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	6.3b	(/.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))
	27.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	27.5b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	27.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)) 3))
	28.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b))) (.f64 3 a))
	26.6b	(/.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))
	27.6b	(/.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))
	27.5b	(/.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))
▶	6.0b	(-.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))))
	27.5b	(/.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 c a)))) b)) a)))

Compiler

Compiled 2334 to 1365 computations (41.5% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite292.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

156×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
46×	`pow-exp_binary64`
46×	`pow-to-exp_binary64`

Counts

4 → 186

Calls

4 calls:

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

Compiler

Compiled 7281 to 4579 computations (37.1% saved)

series189.0ms (2.1%)

Error

0.8b

Counts

4 → 33

Calls

4 calls:

64.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
55.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
43.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
21.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 3306 to 2454 computations (25.8% saved)

simplify152.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

538×	`unswap-sqr_binary64`
407×	`times-frac_binary64`
382×	`associate-/l*_binary64`
327×	`log-div_binary64`
272×	`associate-l_binary64`

Counts

219 → 188

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	285	3909
1	635	3506
2	3356	3443
3	4951	3443
4	5175	3443

prune136.0ms (1.5%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	184	4	188
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	184	17	201

Error

0.8b

Counts

201 → 17

Alt Table

Status	Error	Program
	28.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	12.3b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 3 a))
	27.5b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	6.5b	(-.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 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
	27.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)) 3))
	21.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 (log.f64 (exp.f64 (.f64 (pow.f64 c 3) (*.f64 a a)))) (pow.f64 b 5))))
	27.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
▶	6.3b	(/.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))
	27.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	12.1b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (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))))
	7.5b	(-.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 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (*.f64 a a)) (pow.f64 b 5))))))
	28.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b))) (.f64 3 a))
	26.6b	(/.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))
	27.6b	(/.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))
	27.5b	(/.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))
✓	6.0b	(-.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))))
	27.5b	(/.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 c a)))) b)) a)))

Compiler

Compiled 4563 to 2919 computations (36% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite457.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

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

Counts

4 → 140

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))
8.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
5.0ms	(.f64 (.f64 c a) (*.f64 c a))
3.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 8105 to 4796 computations (40.8% saved)

series170.0ms (1.9%)

Error

0.8b

Counts

4 → 42

Calls

4 calls:

74.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))
44.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
23.0ms	(pow.f64 (*.f64 c a) 3)
23.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3200 to 2362 computations (26.2% saved)

simplify136.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

357×	`associate-r_binary64`
350×	`times-frac_binary64`
322×	`associate-l_binary64`
249×	`associate-/l*_binary64`
177×	`associate-/r*_binary64`

Counts

182 → 158

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	5492
1	704	4398
2	4129	4362
3	5052	4362

prune468.0ms (5.2%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	151	7	158
Fresh	3	12	15
Picked	0	1	1
Done	0	1	1
Total	154	21	175

Error

0.7b

Counts

175 → 21

Alt Table

Status	Error	Program
	27.5b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	6.5b	(-.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 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
	28.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b))) (.f64 3 a))
	7.0b	(/.f64 (.f64 (cbrt.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))))))) (cbrt.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 (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))) a)))
	27.6b	(/.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))
	6.5b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 -3/2 (/.f64 (.f64 c a) b))) (.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))))) (+.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 (.f64 3 a) (+.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))))
	7.0b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))) (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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) (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))) a))
▶	6.3b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (-.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 (.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 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 3 a) (.f64 b (-.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))))
	7.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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 3 a))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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 3 a)))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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 3 a))))
✓	6.0b	(-.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))))
	6.6b	(/.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) 4) (pow.f64 b 6)) 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)))))))
	27.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
✓	6.3b	(/.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))
	6.5b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (.f64 (pow.f64 b 3) (+.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)))) (-.f64 (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.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 b (+.f64 (.f64 (.f64 9/8 (.f64 (.f64 c a) (.f64 c a))) (+.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)))) (-.f64 (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.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 (pow.f64 b 3) (+.f64 (pow.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) 3) (pow.f64 (.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 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 729/256)) (.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (-.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) 164025/16384) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 10935/2048)))) (pow.f64 b 4))))
	27.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	28.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	12.1b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (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))))
	27.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)) 3))
	26.6b	(/.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))
	27.5b	(/.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))
	27.5b	(/.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 c a)))) b)) a)))

Compiler

Compiled 7768 to 5010 computations (35.5% saved)

localize65.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.8b	(pow.f64 (*.f64 c a) 3)
0.8b	(pow.f64 (*.f64 c a) 3)
0.8b	(pow.f64 (*.f64 c a) 3)
0.9b	(pow.f64 (*.f64 c a) 4)

rewrite330.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

16×	`add-exp-log_binary64`
16×	`pow1_binary64`
13×	`add-cbrt-cube_binary64`
12×	`pow-unpow_binary64`
8×	`pow-exp_binary64`

Counts

4 → 83

Calls

4 calls:

3.0ms	(pow.f64 (*.f64 c a) 3)
3.0ms	(pow.f64 (*.f64 c a) 3)
3.0ms	(pow.f64 (*.f64 c a) 4)
3.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 12022 to 7536 computations (37.3% saved)

series194.0ms (2.2%)

Error

0.7b

Counts

4 → 24

Calls

4 calls:

47.0ms	(pow.f64 (*.f64 c a) 4)
44.0ms	(pow.f64 (*.f64 c a) 3)
44.0ms	(pow.f64 (*.f64 c a) 3)
43.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 9039 to 5913 computations (34.6% saved)

simplify105.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

623×	`associate-l_binary64`
547×	`log-prod_binary64`
506×	`associate-r_binary64`
501×	`swap-sqr_binary64`
478×	`exp-prod_binary64`

Counts

107 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	56	840
1	110	798
2	348	762
3	2083	762
4	4381	762
5	4975	762
6	4970	762

prune127.0ms (1.4%)

Pruning

21 alts after pruning (18 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	18	18
Picked	0	1	1
Done	0	2	2
Total	74	21	95

Error

0.7b

Counts

95 → 21

Alt Table

Status	Error	Program
	27.5b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	6.5b	(-.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 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
	28.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b))) (.f64 3 a))
	7.0b	(/.f64 (.f64 (cbrt.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))))))) (cbrt.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 (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))) a)))
	27.6b	(/.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))
	6.5b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 -3/2 (/.f64 (.f64 c a) b))) (.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))))) (+.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 (.f64 3 a) (+.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))))
	7.0b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))) (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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) (/.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))) a))
	6.3b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (-.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 (.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 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 3 a) (.f64 b (-.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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))))))))
	7.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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 3 a))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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 3 a)))) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (.f64 (/.f64 c b) a)) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) 9/8) (+.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 3 a))))
	6.0b	(-.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))))
	6.6b	(/.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) 4) (pow.f64 b 6)) 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)))))))
	27.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	6.3b	(/.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))
	6.5b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (.f64 (pow.f64 b 3) (+.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)))) (-.f64 (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.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 b (+.f64 (.f64 (.f64 9/8 (.f64 (.f64 c a) (.f64 c a))) (+.f64 (.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)))) (-.f64 (.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.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 (pow.f64 b 3) (+.f64 (pow.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) 3) (pow.f64 (.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 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 729/256)) (.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (-.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) 164025/16384) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 10935/2048)))) (pow.f64 b 4))))
	27.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	28.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	12.1b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (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))))
	27.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)) 3))
	26.6b	(/.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))
	27.5b	(/.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))
	27.5b	(/.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 c a)))) b)) a)))

Compiler

Compiled 5250 to 3350 computations (36.2% saved)

regimes2.1s (23.3%)

Accuracy

Total 4.6b remaining (87.7%)

Threshold costs 0b (0%)

Compiler

Compiled 55111 to 36606 computations (33.6% saved)

bsearch18.0ms (0.2%)

Compiler: Compiled 20 to 14 computations (30% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

32×	`*-commutative_binary64`
29×	`+-commutative_binary64`
27×	`sub-neg_binary64`
22×	`distribute-rgt-neg-in_binary64`
21×	`neg-sub0_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	143
1	103	141
2	146	141
3	183	141
4	224	141
5	246	141
6	257	141
7	261	141
8	257	141

end2.0ms (0%)

Compiler: Compiled 97 to 61 computations (37.1% saved)

sample2.7s (30.1%)

Algorithm

1×

intervals

Results

845.0ms	7686×	body	128	valid
292.0ms	8954×	pre	128	true
65.0ms	954×	body	128	nan
42.0ms	314×	body	256	valid

Compiler

Compiled 1937 to 1283 computations (33.8% saved)

Iter	Nodes	Cost
0	53	143
1	103	141
2	146	141
3	183	141
4	224	141
5	246	141
6	257	141
7	261	141
8	257	141

Iter	Nodes	Cost
0	53	143
1	103	141
2	146	141
3	183	141
4	224	141
5	246	141
6	257	141
7	261	141
8	257	141

Details

analyze485.0ms (5.4%)

sample48.0ms (0.5%)

simplify318.0ms (3.6%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite93.0ms (1%)

series145.0ms (1.6%)

simplify92.0ms (1%)

prune58.0ms (0.6%)

localize28.0ms (0.3%)

rewrite292.0ms (3.3%)

series189.0ms (2.1%)

simplify152.0ms (1.7%)

prune136.0ms (1.5%)

localize29.0ms (0.3%)

rewrite457.0ms (5.1%)

series170.0ms (1.9%)

simplify136.0ms (1.5%)

prune468.0ms (5.2%)

localize65.0ms (0.7%)

rewrite330.0ms (3.7%)

series194.0ms (2.2%)

simplify105.0ms (1.2%)

prune127.0ms (1.4%)

regimes2.1s (23.3%)

bsearch18.0ms (0.2%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample2.7s (30.1%)

Profiling

Iter	Nodes	Cost
0	53	143
1	103	141
2	146	141
3	183	141
4	224	141
5	246	141
6	257	141
7	261	141
8	257	141