Details

analyze403.0ms (6%)

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)

sample39.0ms (0.6%)

Algorithm

1×

intervals

Results

14.0ms	245×	body	128	valid
8.0ms	283×	pre	128	true
1.0ms	27×	body	128	nan
1.0ms	11×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify347.0ms (5.2%)

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

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

29.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.6b	(/.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)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.2b	(-.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))
29.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite118.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

27.2b

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))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series209.0ms (3.1%)

Error

0.9b

Counts

4 → 72

Calls

4 calls:

64.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
47.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
35.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify134.0ms (2%)

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

prune87.0ms (1.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	109	13	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	13	123

Error

0.6b

Counts

123 → 13

Alt Table

Status	Error	Program
	30.8b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (sqrt.f64 b)) (/.f64 a (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) 2)))
	5.5b	(/.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))
	29.8b	(/.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)))
	29.6b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	29.6b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))
	30.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(.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))))
	28.7b	(/.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))
	30.8b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))
	29.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
▶	5.3b	(+.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))
	33.4b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	29.7b	(/.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))

Compiler

Compiled 2548 to 1463 computations (42.6% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite351.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

112×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
39×	`pow-exp_binary64`
39×	`div-exp_binary64`

Counts

4 → 186

Calls

4 calls:

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

Compiler

Compiled 6688 to 4032 computations (39.7% saved)

series176.0ms (2.6%)

Error

0.6b

Counts

4 → 30

Calls

4 calls:

66.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
50.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
29.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
25.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2766 to 1974 computations (28.6% saved)

simplify150.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

610×	`log-prod_binary64`
399×	`associate-l_binary64`
323×	`associate-r_binary64`
302×	`times-frac_binary64`
301×	`associate-/l*_binary64`

Counts

216 → 156

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	3547
1	558	3204
2	3245	3125
3	4512	3125
4	5297	3125

prune109.0ms (1.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	156	13	169

Error

0.6b

Counts

169 → 13

Alt Table

Status	Error	Program
	30.8b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (sqrt.f64 b)) (/.f64 a (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) 2)))
▶	5.5b	(/.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))
	29.8b	(/.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)))
	29.6b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	29.6b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))
	30.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(.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))))
	28.7b	(/.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))
	30.8b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))
	29.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
✓	5.3b	(+.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))
	33.4b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	29.7b	(/.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))

Compiler

Compiled 3057 to 1835 computations (40% saved)

localize32.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite277.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

80×	`add-exp-log_binary64`
46×	`pow1_binary64`
42×	`prod-exp_binary64`
39×	`add-cbrt-cube_binary64`
27×	`add-sqr-sqrt_binary64`

Counts

4 → 153

Calls

4 calls:

12.0ms	(/.f64 (.f64 (.f64 a c) (*.f64 a c)) (pow.f64 b 3))
7.0ms	(*.f64 (pow.f64 a 4) (pow.f64 c 4))
7.0ms	(.f64 (.f64 a c) (*.f64 a c))
4.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 6755 to 3860 computations (42.9% saved)

series146.0ms (2.2%)

Error

0.6b

Counts

4 → 27

Calls

4 calls:

56.0ms	(/.f64 (.f64 (.f64 a c) (*.f64 a c)) (pow.f64 b 3))
29.0ms	(*.f64 (pow.f64 a 4) (pow.f64 c 4))
28.0ms	(pow.f64 (*.f64 a c) 3)
27.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 2984 to 2090 computations (30% saved)

simplify119.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

606×	`associate-/r/_binary64`
574×	`unswap-sqr_binary64`
271×	`times-frac_binary64`
222×	`associate-l_binary64`
217×	`log-div_binary64`

Counts

180 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	2392
1	375	1880
2	2258	1842
3	4944	1842
4	5138	1842

prune115.0ms (1.7%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	153	14	167

Error

0.6b

Counts

167 → 14

Alt Table

Status	Error	Program
	30.8b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (sqrt.f64 b)) (/.f64 a (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) 2)))
✓	5.5b	(/.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))
▶	12.4b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 2) (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))
	29.8b	(/.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)))
	29.6b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	29.6b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))
	30.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(.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))))
	28.7b	(/.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))
	30.8b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))
	29.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
✓	5.3b	(+.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))
	33.4b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	29.7b	(/.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))

Compiler

Compiled 3488 to 2126 computations (39% saved)

localize35.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))
0.5b	(pow.f64 (*.f64 a c) 2)
0.7b	(pow.f64 (*.f64 a c) 3)
40.4b	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))))

rewrite506.0ms (7.5%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

144×	`times-frac_binary64`
77×	`log-pow_binary64`
76×	`exp-prod_binary64`
72×	`*-un-lft-identity_binary64`
72×	`add-sqr-sqrt_binary64`

Counts

4 → 241

Calls

4 calls:

15.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))))
8.0ms	(/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))
4.0ms	(pow.f64 (*.f64 a c) 3)
4.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 10990 to 7161 computations (34.8% saved)

series218.0ms (3.2%)

Error

0.6b

Counts

4 → 30

Calls

4 calls:

97.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))))
57.0ms	(/.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b 3))
29.0ms	(pow.f64 (*.f64 a c) 3)
29.0ms	(pow.f64 (*.f64 a c) 2)

Compiler

Compiled 3378 to 2492 computations (26.2% saved)

simplify165.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

798×	`associate-*l/_binary64`
453×	`log-div_binary64`
393×	`associate-/r/_binary64`
239×	`unswap-sqr_binary64`
203×	`times-frac_binary64`

Counts

271 → 232

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	301	3962
1	358	3850
2	1636	3751
3	4757	3751
4	5525	3751

prune195.0ms (2.9%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	231	1	232
Fresh	0	11	11
Picked	1	0	1
Done	0	2	2
Total	232	14	246

Error

0.6b

Counts

246 → 14

Alt Table

Status	Error	Program
	30.8b	(/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (sqrt.f64 b)) (/.f64 a (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) 2)))
	12.9b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 2) (pow.f64 b 3)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 a c) 2) (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))
	5.5b	(/.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))
	29.8b	(/.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)))
	29.6b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	29.6b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 3)) (.f64 a 2))
	30.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(.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))))
	28.7b	(/.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))
	30.8b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))
	29.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
	5.3b	(+.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))
	33.4b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) a))))
	29.7b	(/.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))

Compiler

Compiled 5966 to 3678 computations (38.4% saved)

regimes1.2s (18%)

Accuracy

Total 4.3b remaining (85.6%)

Threshold costs 0b (0%)

Compiler

Compiled 24128 to 16574 computations (31.3% saved)

bsearch9.0ms (0.1%)

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

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64`
20×	`+-commutative_binary64`
17×	`sub-neg_binary64`
12×	`distribute-rgt-neg-in_binary64`
12×	`neg-sub0_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	137
1	88	135
2	122	135
3	152	135
4	170	135
5	176	135
6	177	135
7	176	135

end2.0ms (0%)

Compiler: Compiled 93 to 58 computations (37.6% saved)

sample1.5s (22.7%)

Algorithm

1×

intervals

Results

388.0ms	7680×	body	128	valid
248.0ms	8809×	pre	128	true
36.0ms	809×	body	128	nan
33.0ms	320×	body	256	valid

Compiler

Compiled 654 to 429 computations (34.4% saved)

Details

analyze403.0ms (6%)

sample39.0ms (0.6%)

simplify347.0ms (5.2%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

rewrite118.0ms (1.8%)

series209.0ms (3.1%)

simplify134.0ms (2%)

prune87.0ms (1.3%)

localize26.0ms (0.4%)

rewrite351.0ms (5.2%)

series176.0ms (2.6%)

simplify150.0ms (2.2%)

prune109.0ms (1.6%)

localize32.0ms (0.5%)

rewrite277.0ms (4.1%)

series146.0ms (2.2%)

simplify119.0ms (1.8%)

prune115.0ms (1.7%)

localize35.0ms (0.5%)

rewrite506.0ms (7.5%)

series218.0ms (3.2%)

simplify165.0ms (2.5%)

prune195.0ms (2.9%)

regimes1.2s (18%)

bsearch9.0ms (0.1%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample1.5s (22.7%)

Profiling