Details

analyze506.0ms (4.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4908	36
1	4908	36
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	68.7%	12.6%	6
28.1%	59.3%	12.6%	7
32.8%	48.4%	18.8%	8
38.2%	42.9%	18.8%	9
41%	37.1%	22%	10
43.9%	34.1%	22%	11
45.5%	31%	23.5%	12
46.9%	29.6%	23.5%	13
47.7%	28%	24.3%	14

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample58.0ms (0.5%)

Algorithm

1×

intervals

Results

29.0ms	132×	body	8192	exit
8.0ms	215×	body	128	valid
3.0ms	27×	body	512	valid
1.0ms	14×	body	256	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 33 to 19 computations (42.4% saved)

simplify161.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	4887	18
1	4887	18

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

12.1b

Counts

2 → 2

Compiler

Compiled 40 to 26 computations (35% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj))))
0.0b	(*.f64 wj (exp.f64 wj))
0.0b	(*.f64 wj (exp.f64 wj))
3.9b	(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))

rewrite169.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

4.7b

Rules

36×	`add-sqr-sqrt_binary64_3169` `*-un-lft-identity_binary64_3147`
31×	`times-frac_binary64_3153`
27×	`add-cube-cbrt_binary64_3182`
21×	`cancel-sign-sub-inv_binary64_3113`
10×	`add-cbrt-cube_binary64_3183`
8×	`pow1_binary64_3208` `add-exp-log_binary64_3185`
7×	`distribute-rgt1-in_binary64_3103` `distribute-rgt-out_binary64_3100`
6×	`add-log-exp_binary64_3186` `associate-l_binary64_3088` `associate-r_binary64_3087`
5×	`associate-/r*_binary64_3091`
4×	`associate-/r/_binary64_3093`
3×	`associate-/l*_binary64_3092`
2×	`flip3--_binary64_3151` `flip--_binary64_3122` `difference-of-squares_binary64_3116` `div-inv_binary64_3144` `flip3-+_binary64_3150` `flip-+_binary64_3121` `div-sub_binary64_3152` `pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `unswap-sqr_binary64_3115` `*-commutative_binary64_3078` `associate-/l/_binary64_3094`
1×	`diff-log_binary64_3239` `sub-neg_binary64_3140` `distribute-lft-out--_binary64_3099` `associate--r-_binary64_3086` `div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146`

Counts

4 → 112

Calls

4 calls:

16.0ms	(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
15.0ms	(/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj))))
5.0ms	(*.f64 wj (exp.f64 wj))
5.0ms	(*.f64 wj (exp.f64 wj))

Compiler

Compiled 3070 to 515 computations (83.2% saved)

series521.0ms (4.9%)

Error

0.1b

Counts

4 → 42

Calls

4 calls:

247.0ms	(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
179.0ms	(/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj))))
31.0ms	(*.f64 wj (exp.f64 wj))
30.0ms	(*.f64 wj (exp.f64 wj))

Compiler

Compiled 1616 to 788 computations (51.2% saved)

simplify109.0ms (1%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5091	3082

prune139.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	151	3	154
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	152	4	156

Error

0.1b

Counts

156 → 4

Compiler

Compiled 3148 to 1193 computations (62.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (+.f64 wj wj) (.f64 (pow.f64 wj 3) 8/3)))
0.0b	(+.f64 (.f64 (.f64 wj wj) (+.f64 (.f64 5/2 x) 1)) (-.f64 x (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3))))))
0.1b	(*.f64 (pow.f64 wj 3) 8/3)
7.3b	(.f64 (.f64 wj wj) (+.f64 (*.f64 5/2 x) 1))

rewrite259.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

22×	`add-sqr-sqrt_binary64_3169`
16×	`add-exp-log_binary64_3185` `associate-l_binary64_3088`
13×	`add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183`
12×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
11×	`pow1_binary64_3208`
9×	`associate-r_binary64_3087`
8×	`associate-*r/_binary64_3089`
7×	`prod-exp_binary64_3196`
6×	`unswap-sqr_binary64_3115`
5×	`cbrt-unprod_binary64_3180` `flip3-+_binary64_3150` `flip-+_binary64_3121`
4×	`pow-prod-down_binary64_3218` `unpow-prod-down_binary64_3226` `cube-prod_binary64_3175` `sum-log_binary64_3238` `frac-add_binary64_3155` `associate-+r+_binary64_3079`
3×	`distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096` `*-commutative_binary64_3078` `cancel-sign-sub-inv_binary64_3113`
2×	`sqr-pow_binary64_3119` `diff-log_binary64_3239` `flip3--_binary64_3151` `flip--_binary64_3122` `associate-+l+_binary64_3080`
1×	`pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `unpow3_binary64_3213` `cube-mult_binary64_3177` `associate-+r-_binary64_3081` `sub-neg_binary64_3140` `+-commutative_binary64_3077`

Counts

4 → 100

Calls

4 calls:

30.0ms	(+.f64 (.f64 (.f64 wj wj) (+.f64 (.f64 5/2 x) 1)) (-.f64 x (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3))))))
11.0ms	(.f64 x (+.f64 (+.f64 wj wj) (.f64 (pow.f64 wj 3) 8/3)))
10.0ms	(.f64 (.f64 wj wj) (+.f64 (*.f64 5/2 x) 1))
7.0ms	(*.f64 (pow.f64 wj 3) 8/3)

Compiler

Compiled 4135 to 2580 computations (37.6% saved)

series645.0ms (6.1%)

Error

0.1b

Counts

4 → 39

Calls

4 calls:

267.0ms	(+.f64 (.f64 (.f64 wj wj) (+.f64 (.f64 5/2 x) 1)) (-.f64 x (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3))))))
183.0ms	(.f64 x (+.f64 (+.f64 wj wj) (.f64 (pow.f64 wj 3) 8/3)))
114.0ms	(.f64 (.f64 wj wj) (+.f64 (*.f64 5/2 x) 1))
33.0ms	(*.f64 (pow.f64 wj 3) 8/3)

Compiler

Compiled 2392 to 1759 computations (26.5% saved)

simplify145.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4949	3299
1	4949	3299

prune242.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	136	3	139
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	137	6	143

Error

0.1b

Counts

143 → 6

Compiler

Compiled 4875 to 3001 computations (38.4% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 8/3 (pow.f64 wj 3)) (+.f64 wj wj)))
0.0b	(-.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (+.f64 (*.f64 8/3 (pow.f64 wj 3)) (+.f64 wj wj))))
0.1b	(*.f64 8/3 (pow.f64 wj 3))
7.3b	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

rewrite264.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

27×	`add-sqr-sqrt_binary64_3169`
20×	`associate-r_binary64_3087`
17×	`*-un-lft-identity_binary64_3147`
16×	`add-exp-log_binary64_3185`
15×	`add-cube-cbrt_binary64_3182`
14×	`associate--l+_binary64_3084`
13×	`add-cbrt-cube_binary64_3183` `cancel-sign-sub-inv_binary64_3113`
12×	`distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096` `associate-*r/_binary64_3089`
11×	`pow1_binary64_3208`
7×	`prod-exp_binary64_3196` `associate-l_binary64_3088`
6×	`add-log-exp_binary64_3186` `unswap-sqr_binary64_3115`
5×	`cbrt-unprod_binary64_3180` `sub-neg_binary64_3140`
4×	`pow-prod-down_binary64_3218` `flip3--_binary64_3151` `flip--_binary64_3122` `unpow-prod-down_binary64_3226` `cube-prod_binary64_3175` `frac-sub_binary64_3156`
3×	`*-commutative_binary64_3078` `flip3-+_binary64_3150` `flip-+_binary64_3121`
2×	`sqr-pow_binary64_3119` `associate--r+_binary64_3083`
1×	`difference-of-squares_binary64_3116` `distribute-lft-out--_binary64_3099` `pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `unpow3_binary64_3213` `cube-mult_binary64_3177` `diff-log_binary64_3239`

Counts

4 → 114

Calls

4 calls:

15.0ms	(.f64 x (+.f64 (.f64 8/3 (pow.f64 wj 3)) (+.f64 wj wj)))
15.0ms	(-.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (+.f64 (*.f64 8/3 (pow.f64 wj 3)) (+.f64 wj wj))))
13.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
7.0ms	(*.f64 8/3 (pow.f64 wj 3))

Compiler

Compiled 4257 to 2474 computations (41.9% saved)

series768.0ms (7.3%)

Error

0.1b

Counts

4 → 39

Calls

4 calls:

364.0ms	(-.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (+.f64 (*.f64 8/3 (pow.f64 wj 3)) (+.f64 wj wj))))
177.0ms	(.f64 x (+.f64 (.f64 8/3 (pow.f64 wj 3)) (+.f64 wj wj)))
148.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
32.0ms	(*.f64 8/3 (pow.f64 wj 3))

Compiler

Compiled 2445 to 1767 computations (27.7% saved)

simplify102.0ms (1%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5094	3396

prune232.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	154	5	159

Error

0.1b

Counts

159 → 5

Compiler

Compiled 4823 to 2951 computations (38.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
0.3b	(.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (*.f64 5/2 x) (-.f64 1 wj))))
3.3b	(.f64 (.f64 (.f64 wj wj) (.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))))) (cbrt.f64 (-.f64 (+.f64 (*.f64 5/2 x) 1) wj)))
3.8b	(.f64 (.f64 wj wj) (.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (*.f64 5/2 x) (-.f64 1 wj)))))

rewrite732.0ms (6.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

80×	`cbrt-div_binary64_3179`
57×	`pow1_binary64_3208`
44×	`associate-*r/_binary64_3089`
36×	`add-exp-log_binary64_3185` `frac-times_binary64_3157`
30×	`flip3-+_binary64_3150` `flip-+_binary64_3121`
29×	`pow-prod-down_binary64_3218`
27×	`add-sqr-sqrt_binary64_3169`
26×	`cbrt-prod_binary64_3178`
22×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
21×	`add-cbrt-cube_binary64_3183`
19×	`*-un-lft-identity_binary64_3147`
18×	`associate-*l/_binary64_3090`
15×	`add-cube-cbrt_binary64_3182` `associate-r_binary64_3087`
10×	`flip3--_binary64_3151` `flip--_binary64_3122`
8×	`associate-l_binary64_3088`
7×	`pow1/3_binary64_3229`
6×	`pow-prod-up_binary64_3217` `swap-sqr_binary64_3114`
5×	`pow-plus_binary64_3210` `unswap-sqr_binary64_3115`
4×	`pow-sqr_binary64_3120` `add-log-exp_binary64_3186`
3×	`pow2_binary64_3228` `*-commutative_binary64_3078`
2×	`difference-of-squares_binary64_3116` `distribute-lft-out--_binary64_3099`

Counts

4 → 158

Calls

4 calls:

40.0ms	(.f64 (.f64 (.f64 wj wj) (.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))))) (cbrt.f64 (-.f64 (+.f64 (*.f64 5/2 x) 1) wj)))
23.0ms	(.f64 (.f64 wj wj) (.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (*.f64 5/2 x) (-.f64 1 wj)))))
18.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (*.f64 5/2 x) (-.f64 1 wj))))
6.0ms	(cbrt.f64 (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

Compiler

Compiled 9974 to 6912 computations (30.7% saved)

series769.0ms (7.3%)

Error

0.1b

Counts

4 → 35

Calls

4 calls:

258.0ms	(.f64 (.f64 wj wj) (.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (*.f64 5/2 x) (-.f64 1 wj)))))
185.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (*.f64 5/2 x) (-.f64 1 wj))))
161.0ms	(.f64 (.f64 (.f64 wj wj) (.f64 (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))) (cbrt.f64 (+.f64 (.f64 5/2 x) (-.f64 1 wj))))) (cbrt.f64 (-.f64 (+.f64 (*.f64 5/2 x) 1) wj)))
101.0ms	(cbrt.f64 (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

Compiler

Compiled 4345 to 3361 computations (22.6% saved)

simplify113.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5074	6129

prune627.0ms (5.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	192	6	198

Error

0.1b

Counts

198 → 6

Compiler

Compiled 9486 to 6533 computations (31.1% saved)

regimes498.0ms (4.7%)

Accuracy

Total 1.7b remaining (95.9%)

Threshold costs 0b (0%)

Compiler

Compiled 7891 to 4770 computations (39.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	106	105
1	106	105

end0.0ms (0%)

sample3.4s (32.5%)

Algorithm

1×

intervals

Results

847.0ms	3814×	body	8192	exit
246.0ms	6541×	body	128	valid
82.0ms	697×	body	512	valid
55.0ms	731×	body	256	valid
5.0ms	31×	body	1024	valid
3.0ms	55×	body	128	invalid
0.0ms	11×	body	128	overflowed

Compiler

Compiled 2652 to 1632 computations (38.5% saved)

Details

analyze506.0ms (4.8%)

sample58.0ms (0.5%)

simplify161.0ms (1.5%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite169.0ms (1.6%)

series521.0ms (4.9%)

simplify109.0ms (1%)

prune139.0ms (1.3%)

localize17.0ms (0.2%)

rewrite259.0ms (2.4%)

series645.0ms (6.1%)

simplify145.0ms (1.4%)

prune242.0ms (2.3%)

localize17.0ms (0.2%)

rewrite264.0ms (2.5%)

series768.0ms (7.3%)

simplify102.0ms (1%)

prune232.0ms (2.2%)

localize24.0ms (0.2%)

rewrite732.0ms (6.9%)

series769.0ms (7.3%)

simplify113.0ms (1.1%)

prune627.0ms (5.9%)

regimes498.0ms (4.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.4s (32.5%)

Profiling