Details

analyze454.0ms (7.8%)

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)

sample42.0ms (0.7%)

Algorithm

1×

intervals

Results

16.0ms	246×	body	128	valid
9.0ms	291×	pre	128	true
4.0ms	35×	body	128	nan
1.0ms	10×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify315.0ms (5.4%)

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

prune3.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.9b

Counts

2 → 1

Alt Table

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

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

rewrite92.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

26.7b

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:

9.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series165.0ms (2.8%)

Error

1.1b

Counts

4 → 72

Calls

4 calls:

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

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify155.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

779×	`times-frac_binary64`
237×	`distribute-rgt-in_binary64`
209×	`distribute-lft-in_binary64`
182×	`cancel-sign-sub-inv_binary64`
171×	`distribute-rgt-neg-in_binary64`

Counts

146 → 124

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	3576
1	559	3305
2	1910	3272
3	4799	3272
4	4985	3272
5	4949	3272

prune69.0ms (1.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	111	13	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	13	125

Error

0.7b

Counts

125 → 13

Alt Table

Status	Error	Program
	29.3b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	6.7b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 c a)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 c a) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))))))) b) (*.f64 a 2))
	27.8b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))
▶	6.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.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 c a))))) b)) (.f64 c (.f64 a -4))) (*.f64 a 2)))
	8.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))
	29.9b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) (sqrt.f64 b)) 2))
	28.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))))
	28.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	32.0b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	28.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))

Compiler

Compiled 2622 to 1509 computations (42.4% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite268.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

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:

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

Compiler

Compiled 6721 to 4019 computations (40.2% saved)

series179.0ms (3.1%)

Error

0.7b

Counts

4 → 33

Calls

4 calls:

56.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
55.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
41.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
23.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 3030 to 2178 computations (28.1% saved)

simplify149.0ms (2.6%)

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

prune125.0ms (2.2%)

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

Counts

201 → 15

Alt Table

Status	Error	Program
	29.3b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
▶	6.7b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 c a)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 c a) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))))))) b) (*.f64 a 2))
	27.8b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	12.8b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))
✓	6.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.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 c a))))) b)) (.f64 c (.f64 a -4))) (*.f64 a 2)))
	8.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))
	29.9b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) (sqrt.f64 b)) 2))
	28.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))))
	28.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	32.0b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	22.3b	(-.f64 (.f64 -2 (/.f64 (log.f64 (exp.f64 (.f64 (pow.f64 c 3) (.f64 a a)))) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))

Compiler

Compiled 4185 to 2553 computations (39% saved)

localize27.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite330.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

56×	`times-frac_binary64`
51×	`add-exp-log_binary64`
48×	`unpow-prod-down_binary64`
47×	`add-sqr-sqrt_binary64`
46×	`pow1_binary64`

Counts

4 → 192

Calls

4 calls:

6.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
6.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
5.0ms	(.f64 (.f64 c a) (*.f64 c a))
4.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 8988 to 5208 computations (42.1% saved)

series135.0ms (2.3%)

Error

0.7b

Counts

4 → 27

Calls

4 calls:

59.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
24.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
24.0ms	(pow.f64 (*.f64 c a) 3)
22.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3020 to 2072 computations (31.4% saved)

simplify135.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

766×	`associate-/r/_binary64`
507×	`log-prod_binary64`
476×	`unswap-sqr_binary64`
271×	`associate-/l*_binary64`
206×	`associate-l_binary64`

Counts

219 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	243	3381
1	429	3084
2	2295	2936
3	4613	2936
4	5270	2936

prune122.0ms (2.1%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	173	16	189

Error

0.7b

Counts

189 → 16

Alt Table

Status	Error	Program
	29.3b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
✓	6.7b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 c a)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 c a) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))))))) b) (*.f64 a 2))
	27.8b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	12.8b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))
✓	6.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.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 c a))))) b)) (.f64 c (.f64 a -4))) (*.f64 a 2)))
▶	8.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))
	23.1b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (log.f64 (exp.f64 (pow.f64 (.f64 c a) 4))) (pow.f64 b 7))))) (.f64 a 2))
	29.9b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) (sqrt.f64 b)) 2))
	28.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))))
	28.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	32.0b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	22.3b	(-.f64 (.f64 -2 (/.f64 (log.f64 (exp.f64 (.f64 (pow.f64 c 3) (.f64 a a)))) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))

Compiler

Compiled 4353 to 2598 computations (40.3% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite206.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

102×	`add-exp-log_binary64`
48×	`prod-exp_binary64`
32×	`add-cbrt-cube_binary64`
30×	`div-exp_binary64`
21×	`add-sqr-sqrt_binary64`

Counts

4 → 147

Calls

4 calls:

10.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
7.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
7.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
4.0ms	(.f64 c (.f64 c a))

Compiler

Compiled 3995 to 2022 computations (49.4% saved)

series120.0ms (2.1%)

Error

0.7b

Counts

4 → 30

Calls

4 calls:

46.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
38.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
18.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
15.0ms	(.f64 c (.f64 c a))

Compiler

Compiled 1857 to 1298 computations (30.1% saved)

simplify121.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

400×	`log-prod_binary64`
331×	`times-frac_binary64`
327×	`unswap-sqr_binary64`
275×	`associate-/l*_binary64`
253×	`log-div_binary64`

Counts

177 → 157

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	210	2858
1	485	2500
2	2526	2470
3	4251	2444
4	4995	2444

prune93.0ms (1.6%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	157	16	173

Error

0.7b

Counts

173 → 16

Alt Table

Status	Error	Program
	29.3b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	6.7b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 c a)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 c a) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))))))) b) (*.f64 a 2))
	27.8b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	12.8b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))
	28.9b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))
	6.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	28.9b	(/.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 c a))))) b)) (.f64 c (.f64 a -4))) (*.f64 a 2)))
	8.6b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))
	23.1b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (log.f64 (exp.f64 (pow.f64 (.f64 c a) 4))) (pow.f64 b 7))))) (.f64 a 2))
	29.9b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) (sqrt.f64 b)) 2))
	28.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))))
	28.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	32.0b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	22.3b	(-.f64 (.f64 -2 (/.f64 (log.f64 (exp.f64 (.f64 (pow.f64 c 3) (.f64 a a)))) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))

Compiler

Compiled 2494 to 1357 computations (45.6% saved)

regimes721.0ms (12.4%)

Accuracy

Total 4.3b remaining (85.8%)

Threshold costs 0b (0%)

Compiler

Compiled 15708 to 10406 computations (33.8% saved)

bsearch7.0ms (0.1%)

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

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

28×	`*-commutative_binary64`
26×	`+-commutative_binary64`
22×	`sub-neg_binary64`
18×	`neg-sub0_binary64`
18×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	137
1	85	135
2	117	135
3	155	135
4	183	135
5	208	135
6	219	135
7	225	135
8	227	135
9	225	135

end2.0ms (0%)

Compiler: Compiled 93 to 57 computations (38.7% saved)

sample1.7s (29.3%)

Algorithm

1×

intervals

Results

580.0ms	7696×	body	128	valid
275.0ms	8802×	pre	128	true
52.0ms	802×	body	128	nan
40.0ms	304×	body	256	valid

Compiler

Compiled 767 to 500 computations (34.8% saved)

Iter	Nodes	Cost
0	51	137
1	85	135
2	117	135
3	155	135
4	183	135
5	208	135
6	219	135
7	225	135
8	227	135
9	225	135

Iter	Nodes	Cost
0	51	137
1	85	135
2	117	135
3	155	135
4	183	135
5	208	135
6	219	135
7	225	135
8	227	135
9	225	135

Details

analyze454.0ms (7.8%)

sample42.0ms (0.7%)

simplify315.0ms (5.4%)

prune3.0ms (0.1%)

localize12.0ms (0.2%)

rewrite92.0ms (1.6%)

series165.0ms (2.8%)

simplify155.0ms (2.7%)

prune69.0ms (1.2%)

localize26.0ms (0.4%)

rewrite268.0ms (4.6%)

series179.0ms (3.1%)

simplify149.0ms (2.6%)

prune125.0ms (2.2%)

localize27.0ms (0.5%)

rewrite330.0ms (5.7%)

series135.0ms (2.3%)

simplify135.0ms (2.3%)

prune122.0ms (2.1%)

localize18.0ms (0.3%)

rewrite206.0ms (3.5%)

series120.0ms (2.1%)

simplify121.0ms (2.1%)

prune93.0ms (1.6%)

regimes721.0ms (12.4%)

bsearch7.0ms (0.1%)

simplify11.0ms (0.2%)

end2.0ms (0%)

sample1.7s (29.3%)

Profiling

Iter	Nodes	Cost
0	51	137
1	85	135
2	117	135
3	155	135
4	183	135
5	208	135
6	219	135
7	225	135
8	227	135
9	225	135