Details

analyze483.0ms (3.4%)

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)

sample57.0ms (0.4%)

Algorithm

1×

intervals

Results

25.0ms	123×	body	8192	exit
11.0ms	200×	body	128	valid
4.0ms	33×	body	512	valid
2.0ms	21×	body	256	valid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 33 to 19 computations (42.4% saved)

simplify134.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (128.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

15.6b

Counts

2 → 2

Compiler

Compiled 40 to 26 computations (35% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
0.0b	(/.f64 x (exp.f64 wj))
5.0b	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

rewrite137.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

15.3b

Rules

49×	`*-un-lft-identity_binary64_3147`
48×	`add-sqr-sqrt_binary64_3169`
38×	`times-frac_binary64_3153`
23×	`add-cube-cbrt_binary64_3182`
10×	`difference-of-squares_binary64_3116`
9×	`associate-/l*_binary64_3092`
8×	`distribute-lft-out_binary64_3098`
7×	`add-cbrt-cube_binary64_3183` `associate-/r*_binary64_3091`
6×	`add-exp-log_binary64_3185`
5×	`add-log-exp_binary64_3186` `distribute-lft-out--_binary64_3099`
3×	`pow1_binary64_3208`
2×	`flip3-+_binary64_3150` `flip-+_binary64_3121` `div-sub_binary64_3152` `div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `associate-/l/_binary64_3094` `associate-/r/_binary64_3093`
1×	`sum-log_binary64_3238` `associate-+r-_binary64_3081` `+-commutative_binary64_3077` `flip3--_binary64_3151` `flip--_binary64_3122`

Counts

3 → 91

Calls

3 calls:

19.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
13.0ms	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
4.0ms	(/.f64 x (exp.f64 wj))

Compiler

Compiled 2007 to 813 computations (59.5% saved)

series401.0ms (2.8%)

Error

0.1b

Counts

3 → 45

Calls

3 calls:

146.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))
144.0ms	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
72.0ms	(/.f64 x (exp.f64 wj))

Compiler

Compiled 1534 to 998 computations (34.9% saved)

simplify89.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4955	2769
1	4955	2769

prune122.0ms (0.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	132	4	136
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	134	4	138

Error

0.1b

Counts

138 → 4

Compiler

Compiled 2623 to 1101 computations (58% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite279.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

19×	`add-sqr-sqrt_binary64_3169`
18×	`add-log-exp_binary64_3186`
15×	`associate-l_binary64_3088`
14×	`add-exp-log_binary64_3185`
13×	`*-un-lft-identity_binary64_3147`
11×	`add-cbrt-cube_binary64_3183` `add-cube-cbrt_binary64_3182`
9×	`pow1_binary64_3208`
6×	`prod-exp_binary64_3196` `flip3-+_binary64_3150` `associate-*l/_binary64_3090` `flip-+_binary64_3121` `cancel-sign-sub-inv_binary64_3113`
5×	`unswap-sqr_binary64_3115` `sum-log_binary64_3238`
4×	`cbrt-unprod_binary64_3180` `associate-r_binary64_3087` `unpow-prod-down_binary64_3226` `cube-prod_binary64_3175` `diff-log_binary64_3239` `frac-sub_binary64_3156` `associate-+r+_binary64_3079`
3×	`pow-prod-down_binary64_3218`
2×	`*-commutative_binary64_3078` `sqr-pow_binary64_3119` `sub-neg_binary64_3140`
1×	`pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `unpow3_binary64_3213` `cube-mult_binary64_3177` `flip3--_binary64_3151` `flip--_binary64_3122` `associate--r+_binary64_3083` `distribute-lft-out_binary64_3098` `associate-+r-_binary64_3081` `+-commutative_binary64_3077`

Counts

4 → 91

Calls

4 calls:

26.0ms	(-.f64 (.f64 (+.f64 (.f64 5/2 x) 1) (.f64 wj wj)) (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3)))))
22.0ms	(+.f64 x (-.f64 (.f64 (+.f64 (.f64 5/2 x) 1) (.f64 wj wj)) (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3))))))
10.0ms	(.f64 (+.f64 (.f64 5/2 x) 1) (*.f64 wj wj))
6.0ms	(*.f64 (pow.f64 wj 3) 8/3)

Compiler

Compiled 3958 to 2501 computations (36.8% saved)

series816.0ms (5.7%)

Error

0.1b

Counts

4 → 45

Calls

4 calls:

370.0ms	(-.f64 (.f64 (+.f64 (.f64 5/2 x) 1) (.f64 wj wj)) (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3)))))
251.0ms	(+.f64 x (-.f64 (.f64 (+.f64 (.f64 5/2 x) 1) (.f64 wj wj)) (+.f64 (pow.f64 wj 3) (.f64 x (+.f64 (+.f64 wj wj) (*.f64 (pow.f64 wj 3) 8/3))))))
103.0ms	(.f64 (+.f64 (.f64 5/2 x) 1) (*.f64 wj wj))
32.0ms	(*.f64 (pow.f64 wj 3) 8/3)

Compiler

Compiled 2614 to 1947 computations (25.5% saved)

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5131	3669

prune249.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	135	5	140

Error

0.1b

Counts

140 → 5

Compiler

Compiled 4554 to 2923 computations (35.8% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
7.7b	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
7.7b	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
7.7b	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

rewrite638.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

23×	`add-sqr-sqrt_binary64_3169`
22×	`*-un-lft-identity_binary64_3147`
19×	`pow1_binary64_3208` `add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
18×	`cancel-sign-sub-inv_binary64_3113`
15×	`distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096` `associate-r_binary64_3087`
14×	`add-cube-cbrt_binary64_3182`
9×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
6×	`sub-neg_binary64_3140` `associate--l+_binary64_3084` `associate-*r/_binary64_3089`
4×	`add-log-exp_binary64_3186` `cbrt-prod_binary64_3178`
3×	`unswap-sqr_binary64_3115` `flip3--_binary64_3151` `flip--_binary64_3122` `associate-l_binary64_3088` `difference-of-squares_binary64_3116` `distribute-lft-out--_binary64_3099` `*-commutative_binary64_3078`
2×	`cbrt-div_binary64_3179`
1×	`pow1/3_binary64_3229` `flip3-+_binary64_3150` `flip-+_binary64_3121` `distribute-lft-out_binary64_3098`

Counts

4 → 113

Calls

4 calls:

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

Compiler

Compiled 10341 to 6782 computations (34.4% saved)

series1.3s (9.2%)

Error

0.1b

Counts

4 → 49

Calls

4 calls:

585.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
180.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
175.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
171.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

Compiler

Compiled 11377 to 8390 computations (26.3% saved)

simplify106.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4948	3991
1	4948	3991

prune970.0ms (6.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	162	5	167

Error

0.1b

Counts

167 → 5

Compiler

Compiled 14183 to 9600 computations (32.3% saved)

localize46.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
0.6b	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
7.7b	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
7.7b	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

rewrite1.1s (7.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

20×	`*-un-lft-identity_binary64_3147`
18×	`add-sqr-sqrt_binary64_3169`
14×	`pow1_binary64_3208` `add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
12×	`add-cube-cbrt_binary64_3182` `cancel-sign-sub-inv_binary64_3113`
10×	`distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096` `associate-r_binary64_3087`
8×	`cbrt-prod_binary64_3178`
6×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
4×	`add-log-exp_binary64_3186` `sub-neg_binary64_3140` `associate--l+_binary64_3084` `associate-*r/_binary64_3089` `cbrt-div_binary64_3179`
2×	`unswap-sqr_binary64_3115` `flip3--_binary64_3151` `flip--_binary64_3122` `associate-l_binary64_3088` `difference-of-squares_binary64_3116` `distribute-lft-out--_binary64_3099` `*-commutative_binary64_3078` `pow1/3_binary64_3229` `flip3-+_binary64_3150` `flip-+_binary64_3121` `distribute-lft-out_binary64_3098`

Counts

4 → 94

Calls

4 calls:

14.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
14.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
12.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
11.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))

Compiler

Compiled 14154 to 9717 computations (31.3% saved)

series2.1s (14.7%)

Error

0.1b

Counts

4 → 50

Calls

4 calls:

612.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
611.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 (.f64 wj wj) (-.f64 (+.f64 (.f64 5/2 x) 1) wj)) (.f64 x (-.f64 (.f64 wj -2) (.f64 8/3 (pow.f64 wj 3)))))))
218.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))
215.0ms	(.f64 (.f64 wj wj) (-.f64 (+.f64 (*.f64 5/2 x) 1) wj))

Compiler

Compiled 19906 to 14890 computations (25.2% saved)

simplify111.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4948	4914
1	4948	4914

prune1.6s (11.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	143	1	144
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	144	5	149

Error

0.1b

Counts

149 → 5

Compiler

Compiled 20918 to 14647 computations (30% saved)

regimes420.0ms (2.9%)

Accuracy

Total 0.4b remaining (79.8%)

Threshold costs 0.4b (79.8%)

Compiler

Compiled 5739 to 3759 computations (34.5% saved)

bsearch4.0ms (0%)

Compiler: Compiled 16 to 8 computations (50% saved)

simplify25.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	616	88
1	616	88

end0.0ms (0%)

sample3.0s (20.9%)

Algorithm

1×

intervals

Results

830.0ms	3897×	body	8192	exit
248.0ms	6555×	body	128	valid
89.0ms	733×	body	512	valid
56.0ms	682×	body	256	valid
5.0ms	30×	body	1024	valid
3.0ms	79×	body	128	invalid
0.0ms	7×	body	128	overflowed

Compiler

Compiled 1993 to 1302 computations (34.7% saved)

Details

analyze483.0ms (3.4%)

sample57.0ms (0.4%)

simplify134.0ms (0.9%)

prune4.0ms (0%)

localize8.0ms (0.1%)

rewrite137.0ms (1%)

series401.0ms (2.8%)

simplify89.0ms (0.6%)

prune122.0ms (0.9%)

localize16.0ms (0.1%)

rewrite279.0ms (1.9%)

series816.0ms (5.7%)

simplify91.0ms (0.6%)

prune249.0ms (1.7%)

localize26.0ms (0.2%)

rewrite638.0ms (4.4%)

series1.3s (9.2%)

simplify106.0ms (0.7%)

prune970.0ms (6.8%)

localize46.0ms (0.3%)

rewrite1.1s (7.6%)

series2.1s (14.7%)

simplify111.0ms (0.8%)

prune1.6s (11.1%)

regimes420.0ms (2.9%)

bsearch4.0ms (0%)

simplify25.0ms (0.2%)

end0.0ms (0%)

sample3.0s (20.9%)

Profiling