Details

analyze1.4s (19.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.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	81	19
1	81	19

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

0.0b

Counts

2 → 2

Compiler

Compiled 41 to 37 computations (9.8% saved)

localize11.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.8b	(.f64 (.f64 a z) b)

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64_20918`
10×	`sum-log_binary64_20970`
9×	`pow1_binary64_20940` `add-exp-log_binary64_20917` `add-cbrt-cube_binary64_20915`
5×	`add-cube-cbrt_binary64_20914` `add-sqr-sqrt_binary64_20901` `*-un-lft-identity_binary64_20879`
3×	`pow-prod-down_binary64_20950` `prod-exp_binary64_20928` `cbrt-unprod_binary64_20912` `associate-r_binary64_20819` `flip3-+_binary64_20882` `flip-+_binary64_20853` `+-commutative_binary64_20809`
2×	`associate-+l+_binary64_20812`
1×	`associate-l_binary64_20820` `*-commutative_binary64_20810`

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)

series786.0ms (10.5%)

Error

0.0b

Counts

4 → 93

Calls

4 calls:

371.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))
93.0ms	(.f64 (.f64 a z) b)
73.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 (42.0ms)

Iter	Nodes	Cost
0	5001	1837

prune95.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

Counts

151 → 4

Compiler

Compiled 2310 to 258 computations (88.8% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite51.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`add-log-exp_binary64_20918`
7×	`add-sqr-sqrt_binary64_20901`
5×	`pow1_binary64_20940` `add-exp-log_binary64_20917` `add-cbrt-cube_binary64_20915` `add-cube-cbrt_binary64_20914` `*-un-lft-identity_binary64_20879`
4×	`sum-log_binary64_20970`
3×	`flip3-+_binary64_20882` `flip-+_binary64_20853` `associate-l_binary64_20820` `associate-r_binary64_20819` `associate-+r+_binary64_20811`
2×	`distribute-rgt-in_binary64_20829` `distribute-lft-in_binary64_20828` `associate-*r/_binary64_20821` `+-commutative_binary64_20809`
1×	`pow-prod-down_binary64_20950` `prod-exp_binary64_20928` `cbrt-unprod_binary64_20912` `unswap-sqr_binary64_20847` `*-commutative_binary64_20810`

Counts

3 → 48

Calls

3 calls:

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

Compiler

Compiled 1078 to 215 computations (80.1% saved)

series809.0ms (10.8%)

Error

Counts

3 → 87

Calls

3 calls:

369.0ms	(+.f64 (.f64 a t) (+.f64 x (.f64 z (+.f64 y (*.f64 a b)))))
257.0ms	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
142.0ms	(.f64 z (+.f64 y (.f64 a b)))

Compiler

Compiled 2659 to 1597 computations (39.9% saved)

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5004	1824

prune75.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	135	4	139

Error

Counts

139 → 4

Compiler

Compiled 1925 to 239 computations (87.6% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.4b	(.f64 a (.f64 z b))
14.9b	(cbrt.f64 (.f64 a (.f64 z b)))
14.9b	(cbrt.f64 (.f64 a (.f64 z b)))
14.9b	(cbrt.f64 (.f64 a (.f64 z b)))

rewrite63.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`pow1_binary64_20940` `add-exp-log_binary64_20917` `add-cbrt-cube_binary64_20915`
5×	`add-cube-cbrt_binary64_20914` `add-sqr-sqrt_binary64_20901` `*-un-lft-identity_binary64_20879`
4×	`add-log-exp_binary64_20918`
3×	`pow1/3_binary64_20961` `cbrt-prod_binary64_20910` `pow-prod-down_binary64_20950` `prod-exp_binary64_20928` `cbrt-unprod_binary64_20912` `associate-l_binary64_20820`
1×	`associate-r_binary64_20819` `*-commutative_binary64_20810`

Counts

4 → 45

Calls

4 calls:

5.0ms	(.f64 a (.f64 z b))
4.0ms	(cbrt.f64 (.f64 a (.f64 z b)))
4.0ms	(cbrt.f64 (.f64 a (.f64 z b)))
4.0ms	(cbrt.f64 (.f64 a (.f64 z b)))

Compiler

Compiled 1597 to 219 computations (86.3% saved)

series1.1s (14.9%)

Error

Counts

4 → 36

Calls

4 calls:

338.0ms	(cbrt.f64 (.f64 a (.f64 z b)))
326.0ms	(cbrt.f64 (.f64 a (.f64 z b)))
324.0ms	(cbrt.f64 (.f64 a (.f64 z b)))
96.0ms	(.f64 a (.f64 z b))

Compiler

Compiled 3753 to 1917 computations (48.9% saved)

simplify61.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5500	809

prune69.0ms (0.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	81	4	85

Error

Counts

85 → 4

Compiler

Compiled 2649 to 284 computations (89.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite48.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-log-exp_binary64_20918` `add-sqr-sqrt_binary64_20901`
5×	`pow1_binary64_20940` `add-exp-log_binary64_20917` `add-cbrt-cube_binary64_20915` `add-cube-cbrt_binary64_20914` `*-un-lft-identity_binary64_20879`
3×	`flip3-+_binary64_20882` `flip-+_binary64_20853` `associate-l_binary64_20820` `associate-r_binary64_20819`
2×	`distribute-rgt-in_binary64_20829` `distribute-lft-in_binary64_20828` `associate-*r/_binary64_20821` `sum-log_binary64_20970` `+-commutative_binary64_20809` `associate-+r+_binary64_20811`
1×	`pow-prod-down_binary64_20950` `prod-exp_binary64_20928` `cbrt-unprod_binary64_20912` `unswap-sqr_binary64_20847` `*-commutative_binary64_20810`

Counts

3 → 46

Calls

3 calls:

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

Compiler

Compiled 896 to 186 computations (79.2% saved)

series535.0ms (7.1%)

Error

Counts

3 → 69

Calls

3 calls:

287.0ms	(+.f64 (.f64 z y) (.f64 a (+.f64 (*.f64 z b) t)))
144.0ms	(.f64 a (+.f64 (.f64 z b) t))
75.0ms	(+.f64 (*.f64 z b) t)

Compiler

Compiled 1786 to 1162 computations (34.9% saved)

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5136	1331

prune62.0ms (0.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	115	4	119

Error

Counts

119 → 4

Compiler

Compiled 1434 to 176 computations (87.7% saved)

regimes373.0ms (5%)

Accuracy

Total 0.4b remaining (96.1%)

Threshold costs 0.4b (96.1%)

Compiler

Compiled 2205 to 2310 computations (-4.8% saved)

bsearch43.0ms (0.6%)

Steps

Iters	Range		Point
6	1.1892013049084316e-71	1.0322934503223772e-70	3.1649899919719994e-71
7	-6.9229342868116e-122	-3.4820481627777283e-124	-6.779438934707718e-122

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	52
1	41	52

end0.0ms (0%)

sample1.5s (20.1%)

Algorithm

1×

intervals

Results

366.0ms	8000×	body	128	valid
188.0ms	4011×	body	128	invalid

Compiler

Compiled 407 to 385 computations (5.4% saved)

Details

analyze1.4s (19.4%)

sample37.0ms (0.5%)

simplify12.0ms (0.2%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite71.0ms (0.9%)

series786.0ms (10.5%)

simplify64.0ms (0.9%)

prune95.0ms (1.3%)

localize13.0ms (0.2%)

rewrite51.0ms (0.7%)

series809.0ms (10.8%)

simplify42.0ms (0.6%)

prune75.0ms (1%)

localize18.0ms (0.2%)

rewrite63.0ms (0.8%)

series1.1s (14.9%)

simplify61.0ms (0.8%)

prune69.0ms (0.9%)

localize8.0ms (0.1%)

rewrite48.0ms (0.6%)

series535.0ms (7.1%)

simplify64.0ms (0.9%)

prune62.0ms (0.8%)

regimes373.0ms (5%)

bsearch43.0ms (0.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.5s (20.1%)

Profiling