Details

analyze1.4s (12.5%)

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)

sample39.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
5.0ms	113×	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 (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)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite74.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-log-exp_binary64_15121`
7×	`add-sqr-sqrt_binary64_15104` `*-un-lft-identity_binary64_15082`
5×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118` `add-cube-cbrt_binary64_15117`
4×	`sum-log_binary64_15173`
3×	`flip3-+_binary64_15085` `flip-+_binary64_15056` `associate-l_binary64_15023` `associate-r_binary64_15022`
2×	`associate-*r/_binary64_15024` `+-commutative_binary64_15012`
1×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `unswap-sqr_binary64_15050` `distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031` `*-commutative_binary64_15013` `distribute-lft-out_binary64_15033` `associate-+r+_binary64_15014`

Counts

3 → 47

Calls

3 calls:

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

Compiler

Compiled 978 to 216 computations (77.9% saved)

series945.0ms (8.2%)

Error

0.0b

Counts

3 → 75

Calls

3 calls:

593.0ms	(+.f64 x (+.f64 (.f64 y z) (.f64 a (+.f64 t (*.f64 z b)))))
223.0ms	(.f64 a (+.f64 t (.f64 z b)))
103.0ms	(+.f64 t (*.f64 z b))

Compiler

Compiled 1583 to 1372 computations (13.3% saved)

simplify53.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5178	1535

prune73.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	120	4	124

Error

0.0b

Counts

124 → 4

Compiler

Compiled 990 to 239 computations (75.9% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite90.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-log-exp_binary64_15121`
9×	`sum-log_binary64_15173`
8×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
4×	`add-cube-cbrt_binary64_15117` `add-sqr-sqrt_binary64_15104` `*-un-lft-identity_binary64_15082`
3×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `associate-r_binary64_15022`
2×	`flip3-+_binary64_15085` `flip-+_binary64_15056` `associate-+l+_binary64_15015` `+-commutative_binary64_15012`
1×	`associate-l_binary64_15023` `*-commutative_binary64_15013`

Counts

3 → 45

Calls

3 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)

Compiler

Compiled 1050 to 172 computations (83.6% saved)

series1.1s (9.2%)

Error

0.0b

Counts

3 → 75

Calls

3 calls:

600.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
288.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
143.0ms	(.f64 (.f64 a z) b)

Compiler

Compiled 1763 to 1444 computations (18.1% saved)

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5228	1611

prune70.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	121	3	124

Error

0.0b

Counts

124 → 3

Compiler

Compiled 991 to 178 computations (82% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite96.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-log-exp_binary64_15121`
8×	`add-sqr-sqrt_binary64_15104`
6×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118` `add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082`
5×	`sum-log_binary64_15173`
4×	`flip3-+_binary64_15085` `flip-+_binary64_15056`
3×	`associate-l_binary64_15023` `associate-r_binary64_15022` `associate-+r+_binary64_15014` `+-commutative_binary64_15012`
2×	`distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031` `associate-*r/_binary64_15024`
1×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `unswap-sqr_binary64_15050` `*-commutative_binary64_15013`

Counts

4 → 59

Calls

4 calls:

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

Compiler

Compiled 1272 to 262 computations (79.4% saved)

series1.3s (11.6%)

Error

0.0b

Counts

4 → 105

Calls

4 calls:

592.0ms	(+.f64 (.f64 a t) (+.f64 x (.f64 z (+.f64 y (*.f64 a b)))))
383.0ms	(+.f64 x (.f64 z (+.f64 y (.f64 a b))))
228.0ms	(.f64 z (+.f64 y (.f64 a b)))
107.0ms	(+.f64 y (*.f64 a b))

Compiler

Compiled 2227 to 1914 computations (14.1% saved)

simplify62.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5120	2050

prune92.0ms (0.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	164	3	167

Error

0.0b

Counts

167 → 3

Compiler

Compiled 1314 to 283 computations (78.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
0.5b	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
0.5b	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
6.0b	(.f64 (.f64 a z) b)

rewrite118.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`*-un-lft-identity_binary64_15082`
12×	`cbrt-prod_binary64_15113`
9×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
8×	`add-cube-cbrt_binary64_15117` `add-sqr-sqrt_binary64_15104`
6×	`cbrt-div_binary64_15114`
4×	`add-log-exp_binary64_15121`
3×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `associate-r_binary64_15022` `pow1/3_binary64_15164` `flip3-+_binary64_15085` `flip-+_binary64_15056` `distribute-lft-out_binary64_15033`
1×	`associate-l_binary64_15023` `*-commutative_binary64_15013`

Counts

4 → 60

Calls

4 calls:

7.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
5.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
5.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
5.0ms	(.f64 (.f64 a z) b)

Compiler

Compiled 2678 to 260 computations (90.3% saved)

series2.8s (24%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

824.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
804.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
803.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 z y) (.f64 a t)) x))
150.0ms	(.f64 (.f64 a z) b)

Compiler

Compiled 15188 to 8151 computations (46.3% saved)

simplify98.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4987	3650
1	4987	3650

prune217.0ms (1.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	156	3	159

Error

0.0b

Counts

159 → 3

Compiler

Compiled 5314 to 911 computations (82.9% saved)

regimes1.5s (12.9%)

Accuracy

Total 1.5b remaining (98.7%)

Threshold costs 0b (0%)

Compiler

Compiled 14304 to 10577 computations (26.1% saved)

bsearch72.0ms (0.6%)

Steps

Iters	Range		Point
6	4.2051456204786755e-294	6.262572008334533e-288	5.207482226225634e-288
9	-2.1181445515054013e+98	-2.5065299114279367e+92	-3.2552404155864435e+92

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	52
1	41	52

end2.0ms (0%)

Compiler: Compiled 35 to 25 computations (28.6% saved)

sample1.2s (10.7%)

Algorithm

1×

intervals

Results

361.0ms	8000×	body	128	valid
164.0ms	3732×	body	128	invalid

Compiler

Compiled 165 to 130 computations (21.2% saved)

Details

analyze1.4s (12.5%)

sample39.0ms (0.3%)

simplify9.0ms (0.1%)

prune4.0ms (0%)

localize10.0ms (0.1%)

rewrite74.0ms (0.6%)

series945.0ms (8.2%)

simplify53.0ms (0.5%)

prune73.0ms (0.6%)

localize11.0ms (0.1%)

rewrite90.0ms (0.8%)

series1.1s (9.2%)

simplify41.0ms (0.4%)

prune70.0ms (0.6%)

localize11.0ms (0.1%)

rewrite96.0ms (0.8%)

series1.3s (11.6%)

simplify62.0ms (0.5%)

prune92.0ms (0.8%)

localize18.0ms (0.2%)

rewrite118.0ms (1%)

series2.8s (24%)

simplify98.0ms (0.8%)

prune217.0ms (1.9%)

regimes1.5s (12.9%)

bsearch72.0ms (0.6%)

simplify4.0ms (0%)

end2.0ms (0%)

sample1.2s (10.7%)

Profiling