Details

analyze471.0ms (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)

sample59.0ms (1%)

Algorithm

1×

intervals

Results

14.0ms	112×	body	256	valid
11.0ms	52×	body	512	valid
9.0ms	287×	pre	128	true
6.0ms	92×	body	128	valid
5.0ms	31×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify327.0ms (5.6%)

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

53.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	53.1b	(/.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 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))
27.1b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite107.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

50.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:

10.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
6.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)

series162.0ms (2.7%)

Error

0.3b

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

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify155.0ms (2.6%)

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

prune55.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	117	7	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	118	7	125

Error

0.2b

Counts

125 → 7

Alt Table

Status	Error	Program
	53.2b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	1.3b	(/.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))
	52.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))
	57.3b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (.f64 a 2))
▶	1.0b	(-.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)))))
	53.1b	(/.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)))
	53.1b	(/.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)))

Compiler

Compiled 2162 to 1215 computations (43.8% saved)

localize27.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite273.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

109×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
30×	`div-exp_binary64`
29×	`unpow-prod-down_binary64`

Counts

4 → 178

Calls

4 calls:

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

Compiler

Compiled 6758 to 4045 computations (40.1% saved)

series141.0ms (2.4%)

Error

0.2b

Counts

4 → 30

Calls

4 calls:

50.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
42.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
23.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
22.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2766 to 1992 computations (28% saved)

simplify142.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

665×	`log-prod_binary64`
394×	`times-frac_binary64`
380×	`associate-l_binary64`
327×	`associate-r_binary64`
312×	`log-div_binary64`

Counts

208 → 181

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	3437
1	591	3061
2	3435	2982
3	4644	2982
4	5473	2982

prune119.0ms (2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	180	8	188

Error

0.2b

Counts

188 → 8

Alt Table

Status	Error	Program
	53.2b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
▶	1.3b	(/.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))
	52.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))
	57.3b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (.f64 a 2))
✓	1.0b	(-.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)))))
	53.1b	(/.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)))
	53.1b	(/.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)))
	4.9b	(-.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)))))

Compiler

Compiled 3774 to 2254 computations (40.3% saved)

localize29.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite230.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

127×	`add-exp-log_binary64`
60×	`prod-exp_binary64`
46×	`pow1_binary64`
45×	`div-exp_binary64`
42×	`add-cbrt-cube_binary64`

Counts

4 → 168

Calls

4 calls:

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

Compiler

Compiled 6773 to 3860 computations (43% saved)

series149.0ms (2.5%)

Error

0.2b

Counts

4 → 30

Calls

4 calls:

57.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
45.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
22.0ms	(pow.f64 (*.f64 c a) 3)
20.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3296 to 2294 computations (30.4% saved)

simplify124.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

556×	`log-prod_binary64`
538×	`unswap-sqr_binary64`
337×	`times-frac_binary64`
261×	`log-div_binary64`
257×	`associate-/l*_binary64`

Counts

198 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	3051
1	426	2417
2	2558	2379
3	4515	2379
4	5267	2379

prune80.0ms (1.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	171	8	179

Error

0.2b

Counts

179 → 8

Alt Table

Status	Error	Program
	53.2b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
✓	1.3b	(/.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))
	52.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))
	57.3b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (.f64 a 2))
✓	1.0b	(-.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)))))
	53.1b	(/.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)))
	53.1b	(/.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)))
▶	4.9b	(-.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)))))

Compiler

Compiled 2977 to 1804 computations (39.4% saved)

localize29.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite324.0ms (5.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

96×	`add-exp-log_binary64`
45×	`prod-exp_binary64`
41×	`add-sqr-sqrt_binary64`
31×	`times-frac_binary64`
30×	`div-exp_binary64`

Counts

4 → 173

Calls

4 calls:

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

Compiler

Compiled 6896 to 4239 computations (38.5% saved)

series202.0ms (3.4%)

Error

0.2b

Counts

4 → 33

Calls

4 calls:

77.0ms	(log.f64 (exp.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
52.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
43.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
24.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 3193 to 2333 computations (26.9% saved)

simplify141.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

518×	`log-prod_binary64`
337×	`associate-l_binary64`
309×	`times-frac_binary64`
291×	`associate-/l*_binary64`
286×	`log-div_binary64`

Counts

206 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	3445
1	551	3144
2	3189	3034
3	4535	3034
4	5262	3034

prune132.0ms (2.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	0	5	5
Picked	1	0	1
Done	0	2	2
Total	178	8	186

Error

0.2b

Counts

186 → 8

Alt Table

Status	Error	Program
	53.2b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	1.3b	(/.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))
	52.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))
	57.3b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (.f64 a 2))
	1.0b	(-.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)))))
	53.1b	(/.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)))
	53.1b	(/.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)))
	5.0b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 (.f64 c c) a) (pow.f64 b 3)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 (.f64 c c) a) (pow.f64 b 3))))))) (.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))

Compiler

Compiled 3908 to 2362 computations (39.6% saved)

regimes457.0ms (7.8%)

Accuracy

Total 1.3b remaining (85.7%)

Threshold costs 0b (0%)

Compiler

Compiled 12136 to 8030 computations (33.8% saved)

simplify8.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)

sample1.9s (32.8%)

Algorithm

1×

intervals

Results

497.0ms	3769×	body	256	valid
305.0ms	1534×	body	512	valid
289.0ms	8868×	pre	128	true
180.0ms	2697×	body	128	valid
56.0ms	868×	body	128	nan

Compiler

Compiled 406 to 271 computations (33.3% 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

analyze471.0ms (8%)

sample59.0ms (1%)

simplify327.0ms (5.6%)

prune3.0ms (0.1%)

localize10.0ms (0.2%)

rewrite107.0ms (1.8%)

series162.0ms (2.7%)

simplify155.0ms (2.6%)

prune55.0ms (0.9%)

localize27.0ms (0.5%)

rewrite273.0ms (4.6%)

series141.0ms (2.4%)

simplify142.0ms (2.4%)

prune119.0ms (2%)

localize29.0ms (0.5%)

rewrite230.0ms (3.9%)

series149.0ms (2.5%)

simplify124.0ms (2.1%)

prune80.0ms (1.4%)

localize29.0ms (0.5%)

rewrite324.0ms (5.5%)

series202.0ms (3.4%)

simplify141.0ms (2.4%)

prune132.0ms (2.2%)

regimes457.0ms (7.8%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample1.9s (32.8%)

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