Details

analyze1.4s (13.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	863	304
1	863	304
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample37.0ms (0.3%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
6.0ms	146×	body	128	invalid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	81	19
1	81	19

prune9.0ms (0.1%)

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

0.0b

Counts

2 → 2

Compiler

Compiled 41 to 37 computations (9.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 y z))
0.0b	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
0.0b	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
4.0b	(.f64 (.f64 a z) b)

rewrite70.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64_15803`
10×	`sum-log_binary64_15855`
9×	`pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
5×	`add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
3×	`pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `associate-r_binary64_15704` `flip3-+_binary64_15767` `flip-+_binary64_15738` `+-commutative_binary64_15694`
2×	`associate-+l+_binary64_15697`
1×	`associate-l_binary64_15705` `*-commutative_binary64_15695`

Counts

4 → 56

Calls

4 calls:

9.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
6.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
5.0ms	(.f64 (.f64 a z) b)
3.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 1330 to 230 computations (82.7% saved)

series800.0ms (7.4%)

Error

0.0b

Counts

4 → 93

Calls

4 calls:

380.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
189.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
101.0ms	(.f64 (.f64 a z) b)
78.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 3011 to 1784 computations (40.8% saved)

simplify65.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5001	1837

prune97.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	147	4	151

Error

0.0b

Counts

151 → 4

Compiler

Compiled 2331 to 262 computations (88.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 t (*.f64 z b))
0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
0.0b	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
2.2b	(.f64 a (+.f64 t (.f64 z b)))

rewrite70.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-log-exp_binary64_15803`
8×	`add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
6×	`pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `add-cube-cbrt_binary64_15799`
5×	`sum-log_binary64_15855`
4×	`flip3-+_binary64_15767` `flip-+_binary64_15738`
3×	`associate-l_binary64_15705` `associate-r_binary64_15704` `associate-+r+_binary64_15696` `+-commutative_binary64_15694`
2×	`distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713` `associate-*r/_binary64_15706`
1×	`pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `unswap-sqr_binary64_15732` `*-commutative_binary64_15695` `distribute-lft-out_binary64_15715`

Counts

4 → 60

Calls

4 calls:

8.0ms	(.f64 a (+.f64 t (.f64 z b)))
6.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
4.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
3.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 1337 to 272 computations (79.7% saved)

series918.0ms (8.5%)

Error

0.0b

Counts

4 → 105

Calls

4 calls:

360.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
292.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
144.0ms	(.f64 a (+.f64 t (.f64 z b)))
78.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 3156 to 1909 computations (39.5% saved)

simplify77.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5016	2180

prune95.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	163	2	165
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	164	5	169

Error

Counts

169 → 5

Compiler

Compiled 2390 to 316 computations (86.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 z b) (*.f64 z b))
1.4b	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))
9.1b	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
19.0b	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))

rewrite137.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`pow1_binary64_15825`
23×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
18×	`pow-prod-down_binary64_15835`
10×	`prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `add-sqr-sqrt_binary64_15786`
8×	`add-cube-cbrt_binary64_15799` `*-un-lft-identity_binary64_15764`
6×	`add-log-exp_binary64_15803`
5×	`associate-r_binary64_15704`
4×	`flip3--_binary64_15768` `associate-r/_binary64_15706` `flip--_binary64_15739` `associate-l*_binary64_15705` `pow-prod-up_binary64_15834` `pow-sqr_binary64_15737`
3×	`times-frac_binary64_15770` `associate-/r*_binary64_15708` `sub-neg_binary64_15757` `cancel-sign-sub-inv_binary64_15730`
2×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713` `difference-of-squares_binary64_15733` `*-commutative_binary64_15695` `pow-plus_binary64_15827`
1×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `div-inv_binary64_15761` `associate-/l*_binary64_15709` `unswap-sqr_binary64_15732` `diff-log_binary64_15856` `pow2_binary64_15845` `swap-sqr_binary64_15731`

Counts

4 → 97

Calls

4 calls:

11.0ms	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))
8.0ms	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
7.0ms	(.f64 (.f64 z b) (*.f64 z b))
5.0ms	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))

Compiler

Compiled 3337 to 639 computations (80.9% saved)

series1.1s (10.1%)

Error

Counts

4 → 66

Calls

4 calls:

415.0ms	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))
337.0ms	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
213.0ms	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))
73.0ms	(.f64 (.f64 z b) (*.f64 z b))

Compiler

Compiled 3663 to 2471 computations (32.5% saved)

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4991	2106
1	4991	2106

prune143.0ms (1.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	163	5	168

Error

Counts

168 → 5

Compiler

Compiled 3935 to 1161 computations (70.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b	(.f64 a (+.f64 t (.f64 z b)))
2.2b	(.f64 a (+.f64 t (.f64 z b)))
3.3b	(-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a (+.f64 t (.f64 z b))) (.f64 a (+.f64 t (.f64 z b)))))
29.1b	(/.f64 (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a (+.f64 t (.f64 z b))) (.f64 a (+.f64 t (.f64 z b))))) (-.f64 (.f64 z y) (.f64 a (+.f64 t (*.f64 z b)))))

rewrite160.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`add-sqr-sqrt_binary64_15786`
17×	`add-cube-cbrt_binary64_15799` `*-un-lft-identity_binary64_15764`
12×	`times-frac_binary64_15770`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
8×	`pow1_binary64_15825`
6×	`add-log-exp_binary64_15803` `distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713` `associate-l_binary64_15705` `associate-r_binary64_15704`
5×	`difference-of-squares_binary64_15733`
4×	`associate-/l_binary64_15709` `associate--r+_binary64_15700` `associate-r/_binary64_15706`
3×	`flip3--_binary64_15768` `flip--_binary64_15739` `associate-/r*_binary64_15708`
2×	`associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `unswap-sqr_binary64_15732` `flip3-+_binary64_15767` `flip-+_binary64_15738` `*-commutative_binary64_15695`
1×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `frac-2neg_binary64_15775` `div-sub_binary64_15769` `clear-num_binary64_15763` `div-inv_binary64_15761` `diff-log_binary64_15856` `sub-neg_binary64_15757` `cancel-sign-sub-inv_binary64_15730`

Counts

4 → 97

Calls

4 calls:

14.0ms	(/.f64 (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a (+.f64 t (.f64 z b))) (.f64 a (+.f64 t (.f64 z b))))) (-.f64 (.f64 z y) (.f64 a (+.f64 t (*.f64 z b)))))
9.0ms	(-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a (+.f64 t (.f64 z b))) (.f64 a (+.f64 t (.f64 z b)))))
6.0ms	(.f64 a (+.f64 t (.f64 z b)))
6.0ms	(.f64 a (+.f64 t (.f64 z b)))

Compiler

Compiled 5227 to 498 computations (90.5% saved)

series2.9s (26.6%)

Error

Counts

4 → 111

Calls

4 calls:

1.2s	(/.f64 (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a (+.f64 t (.f64 z b))) (.f64 a (+.f64 t (.f64 z b))))) (-.f64 (.f64 z y) (.f64 a (+.f64 t (*.f64 z b)))))
1.2s	(-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a (+.f64 t (.f64 z b))) (.f64 a (+.f64 t (.f64 z b)))))
165.0ms	(.f64 a (+.f64 t (.f64 z b)))
161.0ms	(.f64 a (+.f64 t (.f64 z b)))

Compiler

Compiled 11560 to 5839 computations (49.5% saved)

simplify92.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5171	5767

prune202.0ms (1.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	208	0	208
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	208	5	213

Error

Counts

213 → 5

Compiler

Compiled 8069 to 1112 computations (86.2% saved)

regimes571.0ms (5.3%)

Accuracy

Total 0.6b remaining (97.9%)

Threshold costs 0.6b (97.9%)

Compiler

Compiled 5161 to 3800 computations (26.4% saved)

bsearch60.0ms (0.6%)

Steps

Iters	Range		Point
8	3.410229048781592e-54	1.7095459296643915e-50	7.300686337683279e-53
8	-6.383597351131807e+122	-9.004057980401814e+118	-1.4792301375221665e+120

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	55
1	41	55

end0.0ms (0%)

sample1.7s (15.5%)

Algorithm

1×

intervals

Results

357.0ms	8000×	body	128	valid
174.0ms	3891×	body	128	invalid

Compiler

Compiled 818 to 590 computations (27.9% saved)

Details

analyze1.4s (13.4%)

sample37.0ms (0.3%)

simplify9.0ms (0.1%)

prune9.0ms (0.1%)

localize10.0ms (0.1%)

rewrite70.0ms (0.6%)

series800.0ms (7.4%)

simplify65.0ms (0.6%)

prune97.0ms (0.9%)

localize10.0ms (0.1%)

rewrite70.0ms (0.6%)

series918.0ms (8.5%)

simplify77.0ms (0.7%)

prune95.0ms (0.9%)

localize14.0ms (0.1%)

rewrite137.0ms (1.3%)

series1.1s (10.1%)

simplify73.0ms (0.7%)

prune143.0ms (1.3%)

localize15.0ms (0.1%)

rewrite160.0ms (1.5%)

series2.9s (26.6%)

simplify92.0ms (0.9%)

prune202.0ms (1.9%)

regimes571.0ms (5.3%)

bsearch60.0ms (0.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.7s (15.5%)

Profiling