Details

analyze501.0ms (6.3%)

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)

sample45.0ms (0.6%)

Algorithm

1×

intervals

Results

18.0ms	248×	body	128	valid
10.0ms	292×	pre	128	true
3.0ms	36×	body	128	nan
1.0ms	8×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify292.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

904×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`
521×	`associate-/l/_binary64`
427×	`associate-/r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	29	24
2	62	24
3	125	24
4	175	24
5	284	24
6	456	24
7	759	24
8	1186	24
9	1635	24
10	1913	24
11	1868	24
12	1916	24
13	1985	24
14	2029	24
15	1597	24
16	1589	24
17	1581	24
18	1585	24
19	1587	24
20	1587	24
21	1801	24
22	1901	24
23	1835	24
24	1843	24
25	1865	24
26	1877	24
27	1883	24
28	1883	24
29	1927	24
30	1983	24
31	1935	24
32	1935	24
33	1746	24

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

26.8b

Counts

2 → 1

Alt Table

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

localize12.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.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
26.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)

rewrite84.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

25.0b

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))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(.f64 (.f64 3 a) c)
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series135.0ms (1.7%)

Error

1.1b

Counts

4 → 60

Calls

4 calls:

45.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
36.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
29.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
10.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify195.0ms (2.5%)

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

prune139.0ms (1.8%)

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
	27.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	6.6b	(/.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.0b	(/.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 c a)))))))
	30.0b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
	26.9b	(/.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)))))
▶	6.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))))
	28.2b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))) (sqrt.f64 b)) a))
	26.8b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	26.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))))
	30.6b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	26.0b	(/.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))
	26.9b	(/.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))
	26.8b	(/.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))

Compiler

Compiled 2434 to 1421 computations (41.6% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite538.0ms (6.8%)

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:

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

series167.0ms (2.1%)

Error

0.8b

Counts

4 → 33

Calls

4 calls:

53.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
45.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
40.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
25.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 3306 to 2454 computations (25.8% saved)

simplify142.0ms (1.8%)

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

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	186	2	188
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	186	15	201

Error

0.8b

Counts

201 → 15

Alt Table

Status	Error	Program
	27.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
▶	6.6b	(/.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.0b	(/.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 c a)))))))
	30.0b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
	26.9b	(/.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)))))
✓	6.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))))
	28.2b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))) (sqrt.f64 b)) a))
	26.8b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	26.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))))
	7.1b	(-.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))))
	30.6b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	26.0b	(/.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))
	26.9b	(/.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))
	26.8b	(/.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))
	12.6b	(-.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))))

Compiler

Compiled 4463 to 2827 computations (36.7% saved)

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite338.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

59×	`times-frac_binary64`
46×	`pow1_binary64`
44×	`add-exp-log_binary64`
36×	`unpow-prod-down_binary64`
33×	`*-un-lft-identity_binary64`

Counts

4 → 179

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

Compiler

Compiled 10408 to 6214 computations (40.3% saved)

series195.0ms (2.5%)

Error

0.8b

Counts

4 → 42

Calls

4 calls:

96.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))
51.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
21.0ms	(pow.f64 (*.f64 c a) 3)
21.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3236 to 2344 computations (27.6% saved)

simplify190.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

351×	`associate-/l*_binary64`
319×	`associate-r_binary64`
282×	`associate-l_binary64`
281×	`times-frac_binary64`
173×	`log-div_binary64`

Counts

221 → 176

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	310	6481
1	766	5605
2	4111	5459
3	4906	5459
4	4987	5459

prune197.0ms (2.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	168	8	176
Fresh	1	12	13
Picked	1	0	1
Done	1	0	1
Total	171	20	191

Error

0.7b

Counts

191 → 20

Alt Table

Status	Error	Program
	6.7b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (.f64 (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 c a) (.f64 c a))) (-.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 (.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 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 3 a) (.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))) (pow.f64 b 4))))
	7.3b	(.f64 (/.f64 (.f64 (cbrt.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.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 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.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 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) a))
	26.0b	(/.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))
	7.4b	(.f64 (.f64 (cbrt.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.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 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.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 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (*.f64 3 a))))
▶	6.6b	(.f64 1/3 (/.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) a))
	7.1b	(/.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))))))))
	27.0b	(/.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 c a)))))))
	30.0b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
	6.7b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (.f64 (pow.f64 b 3) (.f64 (pow.f64 b 5) (pow.f64 b 7)))) (.f64 b (+.f64 (.f64 (.f64 9/8 (.f64 (.f64 c a) (.f64 c a))) (.f64 (pow.f64 b 5) (pow.f64 b 7))) (.f64 (pow.f64 b 3) (+.f64 (.f64 (.f64 27/16 (pow.f64 (.f64 c a) 3)) (pow.f64 b 7)) (.f64 (pow.f64 b 5) (.f64 405/128 (.f64 (pow.f64 c 4) (pow.f64 a 4))))))))) (.f64 (.f64 3 a) (.f64 (*.f64 (pow.f64 b 5) (pow.f64 b 7)) (pow.f64 b 4))))
	26.9b	(/.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)))))
	7.0b	(/.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) 6) (pow.f64 b 10)) 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.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	28.2b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))) (sqrt.f64 b)) a))
	26.8b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	26.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))))
	7.1b	(-.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))))
	30.6b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	26.9b	(/.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))
	26.8b	(/.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.8b	(/.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 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))))

Compiler

Compiled 8034 to 5107 computations (36.4% saved)

localize31.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 1/3 (/.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) a))
0.5b	(pow.f64 (*.f64 c a) 2)
0.8b	(pow.f64 (*.f64 c a) 3)
0.9b	(pow.f64 (*.f64 c a) 4)

rewrite200.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

20×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64`
15×	`pow1_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 89

Calls

4 calls:

26.0ms	(.f64 1/3 (/.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) a))
4.0ms	(pow.f64 (*.f64 c a) 3)
3.0ms	(pow.f64 (*.f64 c a) 4)
3.0ms	(pow.f64 (*.f64 c a) 2)

Compiler

Compiled 5139 to 3210 computations (37.5% saved)

series159.0ms (2%)

Error

0.7b

Counts

4 → 39

Calls

4 calls:

89.0ms	(.f64 1/3 (/.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) a))
21.0ms	(pow.f64 (*.f64 c a) 3)
21.0ms	(pow.f64 (*.f64 c a) 4)
19.0ms	(pow.f64 (*.f64 c a) 2)

Compiler

Compiled 2823 to 2089 computations (26% saved)

simplify99.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

701×	`times-frac_binary64`
659×	`associate-/l*_binary64`
164×	`distribute-rgt-in_binary64`
145×	`unswap-sqr_binary64`
142×	`distribute-lft-in_binary64`

Counts

128 → 99

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	4189
1	416	3712
2	1455	3634
3	5383	3634

prune110.0ms (1.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	3	16	19
Picked	1	0	1
Done	0	0	0
Total	100	19	119

Error

0.7b

Counts

119 → 19

Alt Table

Status	Error	Program
	7.5b	(.f64 (.f64 1/3 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 a (/.f64 c b))) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (cbrt.f64 (-.f64 (.f64 -3/2 (.f64 a (/.f64 c b))) (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))) (.f64 (cbrt.f64 a) (cbrt.f64 a)))) (/.f64 (cbrt.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (cbrt.f64 a)))
	6.7b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (.f64 (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 c a) (.f64 c a))) (-.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 (.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 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 3 a) (.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))) (pow.f64 b 4))))
	7.3b	(.f64 (.f64 1/3 (.f64 (cbrt.f64 (-.f64 (/.f64 (/.f64 c b) -2/3) (/.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) a))) (cbrt.f64 (-.f64 (/.f64 (/.f64 c b) -2/3) (/.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) a))))) (cbrt.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 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) a)))
	28.2b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (sqrt.f64 b)) 3) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))) (sqrt.f64 b)) a))
	27.0b	(/.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 c a)))))))
	30.0b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
	26.9b	(/.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)))))
	6.5b	(pow.f64 (.f64 1/3 (-.f64 (/.f64 (/.f64 c b) -2/3) (/.f64 (+.f64 (.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))) a))) 1)
	6.7b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (.f64 (pow.f64 b 3) (.f64 (pow.f64 b 5) (pow.f64 b 7)))) (.f64 b (+.f64 (.f64 (.f64 9/8 (.f64 (.f64 c a) (.f64 c a))) (.f64 (pow.f64 b 5) (pow.f64 b 7))) (.f64 (pow.f64 b 3) (+.f64 (.f64 (.f64 27/16 (pow.f64 (.f64 c a) 3)) (pow.f64 b 7)) (.f64 (pow.f64 b 5) (.f64 405/128 (.f64 (pow.f64 c 4) (pow.f64 a 4))))))))) (.f64 (.f64 3 a) (.f64 (*.f64 (pow.f64 b 5) (pow.f64 b 7)) (pow.f64 b 4))))
	7.0b	(/.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) 6) (pow.f64 b 10)) 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.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	26.8b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) a))
	26.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b) (.f64 3 a))))
	7.1b	(-.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))))
	30.6b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	26.0b	(/.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))
	26.9b	(/.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))
	26.8b	(/.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.8b	(/.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 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) 27/16) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))))

Compiler

Compiled 4161 to 2670 computations (35.8% saved)

regimes1.8s (23.1%)

Accuracy

Total 4.5b remaining (87.8%)

Threshold costs 0b (0%)

Compiler

Compiled 48278 to 32274 computations (33.1% saved)

bsearch28.0ms (0.4%)

Steps

Iters	Range		Point
2	0.6906971832586648	0.7694165258199019	0.7595766079997472

Compiler

Compiled 4 to 3 computations (25% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

25×	`*-commutative_binary64`
21×	`+-commutative_binary64`
19×	`sub-neg_binary64`
15×	`distribute-rgt-neg-in_binary64`
15×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	118
1	83	118
2	108	118
3	134	118
4	164	118
5	185	118
6	195	118
7	198	118
8	195	118

end2.0ms (0%)

Compiler: Compiled 82 to 53 computations (35.4% saved)

sample2.1s (26.1%)

Algorithm

1×

intervals

Results

535.0ms	7662×	body	128	valid
290.0ms	8984×	pre	128	true
70.0ms	984×	body	128	nan
45.0ms	338×	body	256	valid

Compiler

Compiled 1564 to 1046 computations (33.1% saved)

Iter	Nodes	Cost
0	48	118
1	83	118
2	108	118
3	134	118
4	164	118
5	185	118
6	195	118
7	198	118
8	195	118

Iter	Nodes	Cost
0	48	118
1	83	118
2	108	118
3	134	118
4	164	118
5	185	118
6	195	118
7	198	118
8	195	118

Details

analyze501.0ms (6.3%)

sample45.0ms (0.6%)

simplify292.0ms (3.7%)

prune3.0ms (0%)

localize12.0ms (0.1%)

rewrite84.0ms (1.1%)

series135.0ms (1.7%)

simplify195.0ms (2.5%)

prune139.0ms (1.8%)

localize29.0ms (0.4%)

rewrite538.0ms (6.8%)

series167.0ms (2.1%)

simplify142.0ms (1.8%)

prune136.0ms (1.7%)

localize33.0ms (0.4%)

rewrite338.0ms (4.3%)

series195.0ms (2.5%)

simplify190.0ms (2.4%)

prune197.0ms (2.5%)

localize31.0ms (0.4%)

rewrite200.0ms (2.5%)

series159.0ms (2%)

simplify99.0ms (1.3%)

prune110.0ms (1.4%)

regimes1.8s (23.1%)

bsearch28.0ms (0.4%)

simplify9.0ms (0.1%)

end2.0ms (0%)

sample2.1s (26.1%)

Profiling

Iter	Nodes	Cost
0	48	118
1	83	118
2	108	118
3	134	118
4	164	118
5	185	118
6	195	118
7	198	118
8	195	118