Details

analyze412.0ms (5.7%)

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)

sample34.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	241×	body	128	valid
8.0ms	278×	pre	128	true
1.0ms	15×	body	256	valid
1.0ms	22×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify340.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1261×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
772×	`distribute-rgt-in_binary64`
702×	`distribute-lft-in_binary64`
619×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	32	24
2	65	24
3	128	24
4	178	24
5	287	24
6	460	24
7	754	24
8	1120	24
9	1142	24
10	1799	24
11	2162	24
12	1953	24
13	2041	24
14	2105	24
15	2131	24
16	2843	24
17	2603	24
18	2841	24
19	2951	24
20	3071	24
21	3113	24
22	3183	24
23	3171	24
24	3171	24
25	2191	24
26	2141	24
27	2105	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

28.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	28.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.3b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
28.1b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite116.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

26.0b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 74

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series204.0ms (2.8%)

Error

1.1b

Counts

4 → 72

Calls

4 calls:

60.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
48.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
36.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
34.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify130.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

794×	`times-frac_binary64`
230×	`distribute-rgt-in_binary64`
199×	`distribute-lft-in_binary64`
182×	`cancel-sign-sub-inv_binary64`
181×	`div-sub_binary64`

Counts

146 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	3603
1	550	3323
2	1858	3272
3	4753	3272
4	5209	3272

prune90.0ms (1.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	107	15	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	15	123

Error

0.8b

Counts

123 → 15

Alt Table

Status	Error	Program
	28.2b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	28.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	28.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
	28.7b	(/.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3))) (sqrt.f64 (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))))))) b) (*.f64 a 2))
	28.3b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3) (pow.f64 b 3)) (.f64 (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4))) (*.f64 a 2)))
	30.5b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	28.3b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	28.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
	29.3b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	27.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.2b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
▶	5.5b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	5.7b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	28.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	28.2b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))

Compiler

Compiled 2726 to 1577 computations (42.1% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite353.0ms (4.9%)

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:

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

Compiler

Compiled 6721 to 4019 computations (40.2% saved)

series207.0ms (2.9%)

Error

0.8b

Counts

4 → 33

Calls

4 calls:

65.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
60.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
50.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
27.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 3030 to 2178 computations (28.1% saved)

simplify152.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

541×	`unswap-sqr_binary64`
366×	`associate-/l*_binary64`
360×	`times-frac_binary64`
290×	`log-div_binary64`
271×	`associate-l_binary64`

Counts

219 → 165

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	282	3909
1	616	3506
2	3320	3443
3	4832	3443
4	5055	3443

prune105.0ms (1.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	165	15	180

Error

0.8b

Counts

180 → 15

Alt Table

Status	Error	Program
	28.2b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	28.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	28.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
	28.7b	(/.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3))) (sqrt.f64 (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))))))) b) (*.f64 a 2))
	28.3b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3) (pow.f64 b 3)) (.f64 (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4))) (*.f64 a 2)))
	30.5b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	28.3b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	28.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
	29.3b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	27.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.2b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
✓	5.5b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
▶	5.7b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	28.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	28.2b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))

Compiler

Compiled 3045 to 1855 computations (39.1% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite386.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

98×	`add-exp-log_binary64`
63×	`times-frac_binary64`
46×	`pow1_binary64`
42×	`div-exp_binary64`
42×	`unpow-prod-down_binary64`

Counts

4 → 207

Calls

4 calls:

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

Compiler

Compiled 9006 to 5208 computations (42.2% saved)

series193.0ms (2.7%)

Error

0.8b

Counts

4 → 30

Calls

4 calls:

66.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
66.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
28.0ms	(.f64 (.f64 a c) (*.f64 a c))
26.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 3332 to 2276 computations (31.7% saved)

simplify155.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

440×	`unswap-sqr_binary64`
397×	`log-prod_binary64`
349×	`associate-/l*_binary64`
261×	`times-frac_binary64`
204×	`log-div_binary64`

Counts

237 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	4040
1	480	3621
2	2595	3473
3	4414	3473
4	4948	3473

prune141.0ms (2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	190	16	206

Error

0.8b

Counts

206 → 16

Alt Table

Status	Error	Program
▶	6.4b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))) -10)) (.f64 a 2))
	28.2b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	28.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	28.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
	28.7b	(/.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3))) (sqrt.f64 (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))))))) b) (*.f64 a 2))
	28.3b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3) (pow.f64 b 3)) (.f64 (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4))) (*.f64 a 2)))
	30.5b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	28.3b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	28.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
	29.3b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	27.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.2b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
✓	5.5b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
✓	5.7b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	28.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	28.2b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))

Compiler

Compiled 4160 to 2471 computations (40.6% saved)

localize30.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 a c) (*.f64 a c))
0.7b	(pow.f64 (*.f64 a c) 3)
0.9b	(pow.f64 (*.f64 a c) 4)
31.7b	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))))

rewrite307.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

50×	`pow1_binary64`
40×	`log-pow_binary64`
39×	`exp-prod_binary64`
35×	`times-frac_binary64`
25×	`*-un-lft-identity_binary64`

Counts

4 → 124

Calls

4 calls:

10.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))))
7.0ms	(.f64 (.f64 a c) (*.f64 a c))
4.0ms	(pow.f64 (*.f64 a c) 3)
4.0ms	(pow.f64 (*.f64 a c) 4)

Compiler

Compiled 6097 to 3465 computations (43.2% saved)

series226.0ms (3.1%)

Error

0.8b

Counts

4 → 29

Calls

4 calls:

134.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 4) (pow.f64 b 7))))
29.0ms	(pow.f64 (*.f64 a c) 3)
27.0ms	(pow.f64 (*.f64 a c) 4)
26.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 3202 to 2141 computations (33.1% saved)

simplify94.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

640×	`times-frac_binary64`
624×	`associate-/l*_binary64`
407×	`log-div_binary64`
355×	`unswap-sqr_binary64`
249×	`associate-/r*_binary64`

Counts

153 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	218	1690
1	322	1581
2	1107	1527
3	4605	1527
4	5337	1527

prune149.0ms (2.1%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	13	13
Picked	1	0	1
Done	0	2	2
Total	127	16	143

Error

0.8b

Counts

143 → 16

Alt Table

Status	Error	Program
	6.4b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 4) (pow.f64 b 7)))))) -10)) (.f64 a 2))
	28.2b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	28.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	28.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
	28.7b	(/.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3))) (sqrt.f64 (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))))))) b) (*.f64 a 2))
	28.3b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3) (pow.f64 b 3)) (.f64 (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4))) (*.f64 a 2)))
	30.5b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	28.3b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	28.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
	29.3b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	27.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.2b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	5.5b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	5.7b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	28.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	28.2b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))

Compiler

Compiled 3894 to 2261 computations (41.9% saved)

regimes1.7s (23.7%)

Accuracy

Total 4.5b remaining (86%)

Threshold costs 0b (0%)

Compiler

Compiled 30484 to 19734 computations (35.3% saved)

bsearch36.0ms (0.5%)

Steps

Iters	Range		Point
3	0.03380943074951895	0.04484034742288399	0.038635456794116146

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

18×	`*-commutative_binary64`
16×	`+-commutative_binary64`
14×	`sub-neg_binary64`
10×	`neg-sub0_binary64`
10×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	112
1	70	112
2	93	112
3	119	112
4	136	112
5	143	112
6	145	112
7	144	112

end2.0ms (0%)

Compiler: Compiled 78 to 49 computations (37.2% saved)

sample1.6s (21.6%)

Algorithm

1×

intervals

Results

379.0ms	7696×	body	128	valid
249.0ms	8760×	pre	128	true
33.0ms	760×	body	128	nan
28.0ms	304×	body	256	valid

Compiler

Compiled 728 to 473 computations (35% saved)

Details

analyze412.0ms (5.7%)

sample34.0ms (0.5%)

simplify340.0ms (4.7%)

prune5.0ms (0.1%)

localize11.0ms (0.1%)

rewrite116.0ms (1.6%)

series204.0ms (2.8%)

simplify130.0ms (1.8%)

prune90.0ms (1.2%)

localize27.0ms (0.4%)

rewrite353.0ms (4.9%)

series207.0ms (2.9%)

simplify152.0ms (2.1%)

prune105.0ms (1.5%)

localize28.0ms (0.4%)

rewrite386.0ms (5.4%)

series193.0ms (2.7%)

simplify155.0ms (2.2%)

prune141.0ms (2%)

localize30.0ms (0.4%)

rewrite307.0ms (4.3%)

series226.0ms (3.1%)

simplify94.0ms (1.3%)

prune149.0ms (2.1%)

regimes1.7s (23.7%)

bsearch36.0ms (0.5%)

simplify7.0ms (0.1%)

end2.0ms (0%)

sample1.6s (21.6%)

Profiling