Details

analyze467.0ms (7.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 33 to 24 computations (27.3% saved)

sample56.0ms (0.9%)

Algorithm

1×

intervals

Results

14.0ms	114×	body	256	valid
9.0ms	51×	body	512	valid
8.0ms	279×	pre	128	true
7.0ms	91×	body	128	valid
1.0ms	23×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify309.0ms (4.8%)

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

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

52.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	52.4b	(/.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.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
25.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite98.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

49.3b

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:

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series160.0ms (2.5%)

Error

0.2b

Counts

4 → 72

Calls

4 calls:

47.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
39.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
28.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
27.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify144.0ms (2.3%)

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

prune57.0ms (0.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	115	9	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	9	125

Error

0.2b

Counts

125 → 9

Alt Table

Status	Error	Program
	52.7b	(/.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 c a))))) (sqrt.f64 b)) 2)))
	1.4b	(/.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))
	6.4b	(neg.f64 (/.f64 c b))
	52.4b	(/.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)))
	52.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	52.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	58.1b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	52.1b	(/.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))
▶	1.1b	(-.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)))))

Compiler

Compiled 2194 to 1239 computations (43.5% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite286.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

144×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
51×	`div-exp_binary64`
49×	`pow-exp_binary64`
49×	`pow-to-exp_binary64`

Counts

4 → 188

Calls

4 calls:

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

Compiler

Compiled 6720 to 4060 computations (39.6% saved)

series152.0ms (2.4%)

Error

0.2b

Counts

4 → 30

Calls

4 calls:

54.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
50.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
23.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
21.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2725 to 1947 computations (28.6% saved)

simplify163.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

418×	`log-prod_binary64`
314×	`associate-l_binary64`
307×	`exp-prod_binary64`
296×	`associate-/l*_binary64`
271×	`log-div_binary64`

Counts

218 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	249	3834
1	524	3467
2	2873	3428
3	4145	3348
4	4942	3348
5	4910	3348

prune129.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	179	10	189

Error

0.2b

Counts

189 → 10

Alt Table

Status	Error	Program
	52.7b	(/.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 c a))))) (sqrt.f64 b)) 2)))
▶	1.4b	(/.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))
	6.4b	(neg.f64 (/.f64 c b))
	52.4b	(/.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)))
	52.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	52.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	58.1b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	52.1b	(/.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))
	3.2b	(-.f64 (.f64 -2 (log.f64 (exp.f64 (/.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)))))
✓	1.1b	(-.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)))))

Compiler

Compiled 3505 to 2147 computations (38.7% saved)

localize29.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite323.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

88×	`add-exp-log_binary64`
68×	`times-frac_binary64`
46×	`pow1_binary64`
42×	`unpow-prod-down_binary64`
39×	`add-cbrt-cube_binary64`

Counts

4 → 205

Calls

4 calls:

8.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
7.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
5.0ms	(.f64 (.f64 c a) (*.f64 c a))
3.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 9440 to 5370 computations (43.1% saved)

series151.0ms (2.4%)

Error

0.2b

Counts

4 → 30

Calls

4 calls:

56.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
48.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
22.0ms	(pow.f64 (*.f64 c a) 3)
22.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3283 to 2320 computations (29.3% saved)

simplify142.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

506×	`unswap-sqr_binary64`
466×	`times-frac_binary64`
437×	`associate-/l*_binary64`
329×	`log-div_binary64`
211×	`associate-/r*_binary64`

Counts

235 → 190

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	4059
1	442	3547
2	3141	3393
3	4654	3393
4	4959	3393

prune109.0ms (1.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	190	0	190
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	190	10	200

Error

0.2b

Counts

200 → 10

Alt Table

Status	Error	Program
	52.7b	(/.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 c a))))) (sqrt.f64 b)) 2)))
✓	1.4b	(/.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))
	6.4b	(neg.f64 (/.f64 c b))
	52.4b	(/.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)))
	52.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	52.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	58.1b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	52.1b	(/.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))
▶	3.2b	(-.f64 (.f64 -2 (log.f64 (exp.f64 (/.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)))))
✓	1.1b	(-.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)))))

Compiler

Compiled 3759 to 2267 computations (39.7% saved)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite268.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

132×	`add-exp-log_binary64`
63×	`prod-exp_binary64`
51×	`div-exp_binary64`
43×	`pow-exp_binary64`
43×	`pow-to-exp_binary64`

Counts

4 → 162

Calls

4 calls:

11.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
8.0ms	(/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))
6.0ms	(.f64 (pow.f64 c 3) (.f64 a a))
6.0ms	(log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))))

Compiler

Compiled 6188 to 3826 computations (38.2% saved)

series229.0ms (3.6%)

Error

0.2b

Counts

4 → 33

Calls

4 calls:

92.0ms	(log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))))
56.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
51.0ms	(/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5))
23.0ms	(.f64 (pow.f64 c 3) (.f64 a a))

Compiler

Compiled 3150 to 2297 computations (27.1% saved)

simplify229.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-/r/_binary64`
531×	`*-commutative_binary64`
380×	`log-prod_binary64`
333×	`unswap-sqr_binary64`
232×	`associate-/l*_binary64`

Counts

195 → 152

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	3599
1	461	3280
2	2096	3225
3	4519	3225
4	4986	3225

prune105.0ms (1.6%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	152	10	162

Error

0.2b

Counts

162 → 10

Alt Table

Status	Error	Program
	52.7b	(/.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 c a))))) (sqrt.f64 b)) 2)))
	1.4b	(/.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))
	6.4b	(neg.f64 (/.f64 c b))
	52.4b	(/.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)))
	52.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	52.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)) 3))
	58.1b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) a))))
	52.1b	(/.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))
	3.2b	(-.f64 (.f64 -2 (log.f64 (exp.f64 (/.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)))))
	1.1b	(-.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)))))

Compiler

Compiled 2948 to 1829 computations (38% saved)

regimes708.0ms (11.1%)

Accuracy

Total 1.2b remaining (85.9%)

Threshold costs 0b (0%)

Compiler

Compiled 11260 to 7498 computations (33.4% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
16×	`+-commutative_binary64`
14×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	61
1	39	61
2	48	61
3	67	61
4	86	61
5	111	61
6	131	61
7	142	61
8	147	61
9	148	61
10	147	61

end1.0ms (0%)

Compiler: Compiled 44 to 31 computations (29.5% saved)

sample2.0s (31.2%)

Algorithm

1×

intervals

Results

484.0ms	3724×	body	256	valid
320.0ms	1533×	body	512	valid
309.0ms	8801×	pre	128	true
188.0ms	2743×	body	128	valid
96.0ms	801×	body	128	nan

Compiler

Compiled 406 to 273 computations (32.8% saved)

Iter	Nodes	Cost
0	29	61
1	39	61
2	48	61
3	67	61
4	86	61
5	111	61
6	131	61
7	142	61
8	147	61
9	148	61
10	147	61

Iter	Nodes	Cost
0	29	61
1	39	61
2	48	61
3	67	61
4	86	61
5	111	61
6	131	61
7	142	61
8	147	61
9	148	61
10	147	61

Details

analyze467.0ms (7.3%)

sample56.0ms (0.9%)

simplify309.0ms (4.8%)

prune3.0ms (0%)

localize10.0ms (0.2%)

rewrite98.0ms (1.5%)

series160.0ms (2.5%)

simplify144.0ms (2.3%)

prune57.0ms (0.9%)

localize28.0ms (0.4%)

rewrite286.0ms (4.5%)

series152.0ms (2.4%)

simplify163.0ms (2.6%)

prune129.0ms (2%)

localize29.0ms (0.5%)

rewrite323.0ms (5.1%)

series151.0ms (2.4%)

simplify142.0ms (2.2%)

prune109.0ms (1.7%)

localize30.0ms (0.5%)

rewrite268.0ms (4.2%)

series229.0ms (3.6%)

simplify229.0ms (3.6%)

prune105.0ms (1.6%)

regimes708.0ms (11.1%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample2.0s (31.2%)

Profiling

Iter	Nodes	Cost
0	29	61
1	39	61
2	48	61
3	67	61
4	86	61
5	111	61
6	131	61
7	142	61
8	147	61
9	148	61
10	147	61