Details

analyze1.4s (20.1%)

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

Symmetry

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample32.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
4.0ms	95×	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

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

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite41.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_17832`
4×	`pow1_binary64_17871` `add-exp-log_binary64_17848` `add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846` `add-cube-cbrt_binary64_17845` `*-un-lft-identity_binary64_17810`
3×	`associate-l_binary64_17751` `associate-r_binary64_17750`
2×	`distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759` `flip3-+_binary64_17813` `associate-*r/_binary64_17752` `flip-+_binary64_17784` `associate-+r+_binary64_17742`
1×	`pow-prod-down_binary64_17881` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `unswap-sqr_binary64_17778` `*-commutative_binary64_17741` `sum-log_binary64_17901` `+-commutative_binary64_17740`

Counts

2 → 35

Calls

2 calls:

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

Compiler

Compiled 764 to 177 computations (76.8% saved)

series501.0ms (7.2%)

Error

0.0b

Counts

2 → 51

Calls

2 calls:

312.0ms	(+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b))))
159.0ms	(.f64 a (+.f64 t (.f64 z b)))

Compiler

Compiled 1601 to 973 computations (39.2% saved)

simplify62.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4938	1105
1	4938	1105

prune60.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	83	3	86
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	83	5	88

Error

Counts

88 → 5

Compiler

Compiled 1323 to 226 computations (82.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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))
0.0b	(+.f64 x (*.f64 y z))
4.4b	(.f64 (.f64 a z) b)

rewrite70.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-log-exp_binary64_17849`
10×	`sum-log_binary64_17901`
9×	`pow1_binary64_17871` `add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
5×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810`
3×	`pow-prod-down_binary64_17881` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `associate-r_binary64_17750` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740`
2×	`associate-+l+_binary64_17743`
1×	`associate-l_binary64_17751` `*-commutative_binary64_17741`

Counts

4 → 56

Calls

4 calls:

9.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
5.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)

series788.0ms (11.3%)

Error

Counts

4 → 93

Calls

4 calls:

379.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
193.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
95.0ms	(.f64 (.f64 a z) b)
75.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 3011 to 1784 computations (40.8% saved)

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5001	1837

prune91.0ms (1.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

Counts

154 → 5

Compiler

Compiled 2313 to 257 computations (88.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 y (*.f64 a b))
1.5b	(.f64 z (+.f64 y (.f64 a b)))

rewrite36.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_17832`
4×	`pow1_binary64_17871` `add-exp-log_binary64_17848` `add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846` `add-cube-cbrt_binary64_17845` `*-un-lft-identity_binary64_17810`
3×	`associate-l_binary64_17751` `associate-r_binary64_17750`
2×	`flip3-+_binary64_17813` `associate-*r/_binary64_17752` `flip-+_binary64_17784`
1×	`pow-prod-down_binary64_17881` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `unswap-sqr_binary64_17778` `distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759` `*-commutative_binary64_17741` `sum-log_binary64_17901` `+-commutative_binary64_17740`

Counts

2 → 33

Calls

2 calls:

6.0ms	(.f64 z (+.f64 y (.f64 a b)))
3.0ms	(+.f64 y (*.f64 a b))

Compiler

Compiled 542 to 147 computations (72.9% saved)

series261.0ms (3.7%)

Error

Counts

2 → 39

Calls

2 calls:

164.0ms	(.f64 z (+.f64 y (.f64 a b)))
79.0ms	(+.f64 y (*.f64 a b))

Compiler

Compiled 841 to 613 computations (27.1% saved)

simplify87.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4956	686
1	4956	686

prune42.0ms (0.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	72	5	77

Error

Counts

77 → 5

Compiler

Compiled 843 to 170 computations (79.8% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 z b) (*.f64 z b))
2.1b	(-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))
10.3b	(.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (*.f64 z b))))
18.8b	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))

rewrite127.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`pow1_binary64_17871`
23×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
18×	`pow-prod-down_binary64_17881`
10×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `add-sqr-sqrt_binary64_17832`
8×	`add-cube-cbrt_binary64_17845` `*-un-lft-identity_binary64_17810`
6×	`add-log-exp_binary64_17849`
5×	`associate-r_binary64_17750`
4×	`flip3--_binary64_17814` `associate-r/_binary64_17752` `flip--_binary64_17785` `associate-l*_binary64_17751` `pow-prod-up_binary64_17880` `pow-sqr_binary64_17783`
3×	`times-frac_binary64_17816` `associate-/r*_binary64_17754` `sub-neg_binary64_17803` `cancel-sign-sub-inv_binary64_17776`
2×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `associate-/l/_binary64_17757` `associate-/r/_binary64_17756` `distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759` `difference-of-squares_binary64_17779` `*-commutative_binary64_17741` `pow-plus_binary64_17873`
1×	`frac-2neg_binary64_17821` `clear-num_binary64_17809` `div-inv_binary64_17807` `associate-/l*_binary64_17755` `unswap-sqr_binary64_17778` `diff-log_binary64_17902` `pow2_binary64_17891` `swap-sqr_binary64_17777`

Counts

4 → 97

Calls

4 calls:

10.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 (15.6%)

Error

Counts

4 → 66

Calls

4 calls:

407.0ms	(/.f64 (.f64 a (-.f64 (.f64 t t) (.f64 (.f64 z b) (.f64 z b)))) (-.f64 t (.f64 z b)))
345.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)))
72.0ms	(.f64 (.f64 z b) (*.f64 z b))

Compiler

Compiled 3663 to 2471 computations (32.5% saved)

simplify73.0ms (1%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4991	2106
1	4991	2106

prune132.0ms (1.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

168 → 5

Compiler

Compiled 3880 to 1129 computations (70.9% saved)

regimes297.0ms (4.2%)

Accuracy

Total 2.7b remaining (99.5%)

Threshold costs 0b (0%)

Compiler

Compiled 2240 to 2261 computations (-0.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	19
1	19	19

Removed

()

end0.0ms (0%)

sample1.7s (23.8%)

Algorithm

1×

intervals

Results

582.0ms	8000×	body	128	valid
167.0ms	3768×	body	128	invalid

Compiler

Compiled 390 to 365 computations (6.4% saved)

Details

analyze1.4s (20.1%)

sample32.0ms (0.5%)

simplify9.0ms (0.1%)

prune5.0ms (0.1%)

localize14.0ms (0.2%)

rewrite41.0ms (0.6%)

series501.0ms (7.2%)

simplify62.0ms (0.9%)

prune60.0ms (0.9%)

localize11.0ms (0.2%)

rewrite70.0ms (1%)

series788.0ms (11.3%)

simplify64.0ms (0.9%)

prune91.0ms (1.3%)

localize7.0ms (0.1%)

rewrite36.0ms (0.5%)

series261.0ms (3.7%)

simplify87.0ms (1.2%)

prune42.0ms (0.6%)

localize15.0ms (0.2%)

rewrite127.0ms (1.8%)

series1.1s (15.6%)

simplify73.0ms (1%)

prune132.0ms (1.9%)

regimes297.0ms (4.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.7s (23.8%)

Profiling