Details

analyze518.0ms (6.2%)

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)

sample41.0ms (0.5%)

Algorithm

1×

intervals

Results

15.0ms	248×	body	128	valid
9.0ms	290×	pre	128	true
2.0ms	34×	body	128	nan
1.0ms	8×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify296.0ms (3.5%)

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

29.9b

Counts

2 → 1

Alt Table

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

rewrite92.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

27.9b

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:

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

Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series146.0ms (1.8%)

Error

0.8b

Counts

4 → 60

Calls

4 calls:

50.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))
12.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2276 to 1674 computations (26.4% saved)

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

prune60.0ms (0.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	98	12	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	12	111

Error

0.6b

Counts

111 → 12

Alt Table

Status	Error	Program
	29.9b	(/.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)))))))
	10.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))))
	29.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)))))
	4.5b	(/.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.0b	(-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
	29.9b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	30.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	33.5b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	31.1b	(/.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))
	28.9b	(/.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))
	31.5b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
▶	4.3b	(-.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))))

Compiler

Compiled 2246 to 1319 computations (41.3% saved)

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

rewrite344.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

155×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
50×	`pow-exp_binary64`
50×	`pow-to-exp_binary64`

Counts

4 → 202

Calls

4 calls:

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

Compiler

Compiled 7856 to 4975 computations (36.7% saved)

series182.0ms (2.2%)

Error

0.6b

Counts

4 → 33

Calls

4 calls:

55.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
49.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
46.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
26.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 3306 to 2442 computations (26.1% saved)

simplify147.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

465×	`times-frac_binary64`
406×	`associate-/l*_binary64`
393×	`log-div_binary64`
344×	`associate-l_binary64`
300×	`associate-r_binary64`

Counts

235 → 195

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	303	4233
1	659	3876
2	3911	3758
3	4733	3758
4	5020	3758

prune157.0ms (1.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	191	4	195
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	193	14	207

Error

0.5b

Counts

207 → 14

Alt Table

Status	Error	Program
	4.9b	(-.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))))
	29.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)))))
▶	4.5b	(/.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))
	21.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 (log.f64 (exp.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.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 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 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (*.f64 a a)) (pow.f64 b 5))))))
	10.0b	(-.f64 (-.f64 (-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 (.f64 c 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))))
	31.1b	(/.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))
	29.9b	(/.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)))))))
	29.9b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	33.5b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	28.9b	(/.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))
	31.5b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
✓	4.3b	(-.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))))

Compiler

Compiled 4540 to 2901 computations (36.1% saved)

localize30.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite446.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

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:

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

Compiler

Compiled 10408 to 6214 computations (40.3% saved)

series181.0ms (2.2%)

Error

0.5b

Counts

4 → 42

Calls

4 calls:

73.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))
55.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
24.0ms	(pow.f64 (*.f64 c a) 3)
22.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3236 to 2344 computations (27.6% saved)

simplify179.0ms (2.1%)

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

prune203.0ms (2.4%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	167	9	176
Fresh	4	8	12
Picked	0	1	1
Done	0	1	1
Total	171	19	190

Error

0.5b

Counts

190 → 19

Alt Table

Status	Error	Program
	5.2b	(.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))))
	29.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)))))
✓	4.5b	(/.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))
	21.3b	(log.f64 (cbrt.f64 (exp.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))))
	29.9b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	4.6b	(/.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 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))))))))
	4.5b	(/.f64 1 (/.f64 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)))
	28.9b	(/.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))
	29.9b	(/.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)))))))
	4.7b	(cbrt.f64 (pow.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)) 3))
	30.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
▶	4.3b	(-.f64 (.f64 -1/2 (/.f64 (.f64 (/.f64 c b) a) a)) (/.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 3 a)))
	4.5b	(.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))
	33.5b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	31.1b	(/.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))
	4.9b	(/.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))))
	4.6b	(/.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))))
	31.5b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
✓	4.3b	(-.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))))

Compiler

Compiled 7294 to 4648 computations (36.3% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(/.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 3 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)

rewrite256.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

18×	`add-exp-log_binary64`
13×	`pow1_binary64`
12×	`add-cbrt-cube_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`

Counts

4 → 83

Calls

4 calls:

23.0ms	(/.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 3 a))
7.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 4926 to 3043 computations (38.2% saved)

series199.0ms (2.4%)

Error

0.5b

Counts

4 → 35

Calls

4 calls:

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

Compiler

Compiled 3222 to 2323 computations (27.9% saved)

simplify137.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

893×	`times-frac_binary64`
224×	`log-prod_binary64`
210×	`unswap-sqr_binary64`
186×	`associate-r_binary64`
180×	`associate-l_binary64`

Counts

118 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	3265
1	460	2870
2	1977	2855
3	4760	2855
4	4993	2855
5	4941	2855

prune124.0ms (1.5%)

Pruning

19 alts after pruning (16 fresh and 3 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	16	16
Picked	0	1	1
Done	0	2	2
Total	86	19	105

Error

0.5b

Counts

105 → 19

Alt Table

Status	Error	Program
	5.2b	(.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))))
	29.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)))))
	4.5b	(/.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))
	21.3b	(log.f64 (cbrt.f64 (exp.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))))
	29.9b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	4.6b	(/.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 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))))))))
	4.5b	(/.f64 1 (/.f64 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)))
	28.9b	(/.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))
	29.9b	(/.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)))))))
	4.7b	(cbrt.f64 (pow.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)) 3))
	30.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
	4.3b	(-.f64 (.f64 -1/2 (/.f64 (.f64 (/.f64 c b) a) a)) (/.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 3 a)))
	4.5b	(.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))
	33.5b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a))))
	31.1b	(/.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))
	4.9b	(/.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))))
	4.6b	(/.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))))
	31.5b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b))) (.f64 3 a))
	4.3b	(-.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))))

Compiler

Compiled 3530 to 2251 computations (36.2% saved)

regimes2.2s (25.8%)

Accuracy

Total 4.9b remaining (88.2%)

Threshold costs 0b (0%)

Compiler

Compiled 62495 to 41580 computations (33.5% saved)

simplify7.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.3s (27.3%)

Algorithm

1×

intervals

Results

474.0ms	7667×	body	128	valid
378.0ms	8992×	pre	128	true
57.0ms	992×	body	128	nan
41.0ms	333×	body	256	valid

Compiler

Compiled 1364 to 930 computations (31.8% saved)

Details

analyze518.0ms (6.2%)

sample41.0ms (0.5%)

simplify296.0ms (3.5%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite92.0ms (1.1%)

series146.0ms (1.8%)

simplify96.0ms (1.2%)

prune60.0ms (0.7%)

localize31.0ms (0.4%)

rewrite344.0ms (4.1%)

series182.0ms (2.2%)

simplify147.0ms (1.8%)

prune157.0ms (1.9%)

localize30.0ms (0.4%)

rewrite446.0ms (5.3%)

series181.0ms (2.2%)

simplify179.0ms (2.1%)

prune203.0ms (2.4%)

localize34.0ms (0.4%)

rewrite256.0ms (3.1%)

series199.0ms (2.4%)

simplify137.0ms (1.6%)

prune124.0ms (1.5%)

regimes2.2s (25.8%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample2.3s (27.3%)

Profiling