Details

analyze1.1s (9.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample77.0ms (0.7%)

Algorithm

1×

intervals

Results

27.0ms	60×	body	1024	valid
9.0ms	39×	body	512	valid
9.0ms	120×	body	128	valid
5.0ms	32×	body	256	valid
4.0ms	5×	body	2048	valid
3.0ms	10×	body	1024	nan
2.0ms	34×	body	128	nan
1.0ms	21×	body	128	overflowed
1.0ms	6×	body	512	nan
0.0ms	3×	body	256	nan

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify418.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (317.0ms)

Iter	Nodes	Cost
0	5254	20

prune2.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

23.6b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 y (exp.f64 z))
0.0b	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
1.9b	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
2.1b	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))

rewrite140.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

12.4b

Rules

19×	`add-sqr-sqrt_binary64_11012`
17×	`add-cube-cbrt_binary64_11025` `*-un-lft-identity_binary64_10990`
12×	`times-frac_binary64_10996`
11×	`pow1_binary64_11051`
9×	`add-log-exp_binary64_11029`
8×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
5×	`log-pow_binary64_11079`
4×	`log-div_binary64_11077` `associate-+l+_binary64_10923` `associate-/l*_binary64_10935`
3×	`flip3-+_binary64_10993` `flip-+_binary64_10964` `log-prod_binary64_11076` `cancel-sign-sub-inv_binary64_10956` `associate-/r_binary64_10934` `associate-l_binary64_10931` `associate-r*_binary64_10930`
2×	`sum-log_binary64_11081` `div-sub_binary64_10995`
1×	`rem-log-exp_binary64_11031` `diff-log_binary64_11082` `associate-+l-_binary64_10925` `sub-neg_binary64_10983` `+-commutative_binary64_10920` `div-exp_binary64_11041` `cbrt-undiv_binary64_11024` `frac-2neg_binary64_11001` `clear-num_binary64_10989` `div-inv_binary64_10987` `pow-prod-down_binary64_11061` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `unswap-sqr_binary64_10958` `*-commutative_binary64_10921`

Counts

4 → 82

Calls

4 calls:

9.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
8.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
7.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
6.0ms	(*.f64 y (exp.f64 z))

Compiler

Compiled 1827 to 914 computations (50% saved)

series641.0ms (5.6%)

Error

0.5b

Counts

4 → 44

Calls

4 calls:

341.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
134.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
77.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
44.0ms	(*.f64 y (exp.f64 z))

Compiler

Compiled 2067 to 1586 computations (23.3% saved)

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5045	2471

prune138.0ms (1.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	120	6	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	6	127

Error

0.5b

Counts

127 → 6

Compiler

Compiled 2499 to 1514 computations (39.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 y (-.f64 (exp.f64 z) 1))
0.0b	(/.f64 (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1)))) t)
1.7b	(log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))
2.2b	(-.f64 (exp.f64 z) 1)

rewrite133.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

29×	`add-sqr-sqrt_binary64_11012`
25×	`*-un-lft-identity_binary64_10990`
19×	`add-cube-cbrt_binary64_11025`
12×	`times-frac_binary64_10996`
11×	`pow1_binary64_11051`
9×	`add-exp-log_binary64_11028` `cancel-sign-sub-inv_binary64_10956`
8×	`add-cbrt-cube_binary64_11026`
7×	`associate-r_binary64_10930`
6×	`add-log-exp_binary64_11029`
5×	`log-pow_binary64_11079`
4×	`difference-of-squares_binary64_10959` `log-div_binary64_11077` `associate-/l*_binary64_10935` `distribute-rgt-in_binary64_10940` `distribute-lft-in_binary64_10939`
3×	`sub-neg_binary64_10983` `log-prod_binary64_11076` `associate-/r_binary64_10934` `associate-l*_binary64_10931`
2×	`flip3--_binary64_10994` `flip--_binary64_10965` `difference-of-sqr-1_binary64_10960` `distribute-lft-out--_binary64_10942` `flip3-+_binary64_10993` `flip-+_binary64_10964` `div-sub_binary64_10995` `associate-*r/_binary64_10932`
1×	`diff-log_binary64_11082` `rem-log-exp_binary64_11031` `div-exp_binary64_11041` `cbrt-undiv_binary64_11024` `frac-2neg_binary64_11001` `clear-num_binary64_10989` `div-inv_binary64_10987` `pow-prod-down_binary64_11061` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `unswap-sqr_binary64_10958` `*-commutative_binary64_10921`

Counts

4 → 97

Calls

4 calls:

8.0ms	(*.f64 y (-.f64 (exp.f64 z) 1))
8.0ms	(/.f64 (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1)))) t)
5.0ms	(-.f64 (exp.f64 z) 1)
3.0ms	(log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))

Compiler

Compiled 2131 to 1381 computations (35.2% saved)

series591.0ms (5.2%)

Error

0.5b

Counts

4 → 38

Calls

4 calls:

331.0ms	(/.f64 (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1)))) t)
136.0ms	(log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))
68.0ms	(*.f64 y (-.f64 (exp.f64 z) 1))
21.0ms	(-.f64 (exp.f64 z) 1)

Compiler

Compiled 1966 to 1540 computations (21.7% saved)

simplify66.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5005	2478

prune135.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	135	6	141

Error

0.5b

Counts

141 → 6

Compiler

Compiled 2661 to 1665 computations (37.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 t (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1)))))
0.0b	(/.f64 1 (/.f64 t (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))))
1.7b	(log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))
2.2b	(-.f64 (exp.f64 z) 1)

rewrite240.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

108×	`times-frac_binary64_10996`
68×	`add-sqr-sqrt_binary64_11012`
67×	`*-un-lft-identity_binary64_10990`
64×	`add-cube-cbrt_binary64_11025`
22×	`pow1_binary64_11051`
20×	`associate-/r*_binary64_10934`
18×	`add-exp-log_binary64_11028`
17×	`log-pow_binary64_11079`
11×	`add-cbrt-cube_binary64_11026`
8×	`div-exp_binary64_11041`
6×	`add-log-exp_binary64_11029` `div-inv_binary64_10987` `associate-/l*_binary64_10935`
4×	`cbrt-undiv_binary64_11024`
3×	`cancel-sign-sub-inv_binary64_10956` `log-prod_binary64_11076`
2×	`difference-of-squares_binary64_10959` `log-div_binary64_11077` `1-exp_binary64_11034` `rec-exp_binary64_11040` `frac-2neg_binary64_11001` `clear-num_binary64_10989`
1×	`diff-log_binary64_11082` `flip3--_binary64_10994` `sub-neg_binary64_10983` `flip--_binary64_10965` `difference-of-sqr-1_binary64_10960` `distribute-lft-out--_binary64_10942` `flip3-+_binary64_10993` `flip-+_binary64_10964` `rem-log-exp_binary64_11031` `inv-pow_binary64_11075` `pow-flip_binary64_11064` `associate-/r/_binary64_10936`

Counts

4 → 151

Calls

4 calls:

6.0ms	(/.f64 1 (/.f64 t (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))))
5.0ms	(-.f64 (exp.f64 z) 1)
3.0ms	(/.f64 t (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1)))))
3.0ms	(log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))

Compiler

Compiled 4102 to 2834 computations (30.9% saved)

series1.2s (10.1%)

Error

0.5b

Counts

4 → 44

Calls

4 calls:

610.0ms	(/.f64 t (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1)))))
325.0ms	(/.f64 1 (/.f64 t (log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))))
144.0ms	(log.f64 (+.f64 1 (*.f64 y (-.f64 (exp.f64 z) 1))))
22.0ms	(-.f64 (exp.f64 z) 1)

Compiler

Compiled 3084 to 2356 computations (23.6% saved)

simplify119.0ms (1%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4948	5329
1	4948	5329

prune266.0ms (2.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	193	2	195
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	193	8	201

Error

0.5b

Counts

201 → 8

Compiler

Compiled 4803 to 3191 computations (33.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 t (/.f64 t y))
0.7b	(/.f64 1 (+.f64 (/.f64 t (.f64 z y)) (.f64 1/2 (-.f64 t (/.f64 t y)))))
2.9b	(+.f64 (/.f64 t (.f64 z y)) (.f64 1/2 (-.f64 t (/.f64 t y))))
4.2b	(/.f64 t (*.f64 z y))

rewrite180.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`add-sqr-sqrt_binary64_11012` `times-frac_binary64_10996`
39×	`cancel-sign-sub-inv_binary64_10956`
37×	`*-un-lft-identity_binary64_10990`
35×	`add-cube-cbrt_binary64_11025`
28×	`associate-+r+_binary64_10922`
14×	`distribute-rgt-in_binary64_10940` `distribute-lft-in_binary64_10939`
13×	`add-exp-log_binary64_11028`
11×	`add-cbrt-cube_binary64_11026`
8×	`add-log-exp_binary64_11029`
6×	`associate-/l*_binary64_10935`
5×	`pow1_binary64_11051` `div-inv_binary64_10987`
4×	`div-exp_binary64_11041` `associate-/r_binary64_10934` `associate-r/_binary64_10932` `frac-add_binary64_10998` `associate-/r/_binary64_10936`
3×	`cbrt-undiv_binary64_11024` `flip3--_binary64_10994` `flip--_binary64_10965` `sub-neg_binary64_10983`
2×	`frac-2neg_binary64_11001` `clear-num_binary64_10989` `flip3-+_binary64_10993` `flip-+_binary64_10964` `difference-of-squares_binary64_10959`
1×	`prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `sum-log_binary64_11081` `+-commutative_binary64_10920` `inv-pow_binary64_11075` `pow-flip_binary64_11064` `1-exp_binary64_11034` `rec-exp_binary64_11040` `diff-log_binary64_11082` `distribute-lft-out--_binary64_10942`

Counts

4 → 124

Calls

4 calls:

12.0ms	(+.f64 (/.f64 t (.f64 z y)) (.f64 1/2 (-.f64 t (/.f64 t y))))
9.0ms	(/.f64 1 (+.f64 (/.f64 t (.f64 z y)) (.f64 1/2 (-.f64 t (/.f64 t y)))))
7.0ms	(-.f64 t (/.f64 t y))
4.0ms	(/.f64 t (*.f64 z y))

Compiler

Compiled 3472 to 1367 computations (60.6% saved)

series727.0ms (6.4%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

263.0ms	(/.f64 1 (+.f64 (/.f64 t (.f64 z y)) (.f64 1/2 (-.f64 t (/.f64 t y)))))
244.0ms	(+.f64 (/.f64 t (.f64 z y)) (.f64 1/2 (-.f64 t (/.f64 t y))))
113.0ms	(/.f64 t (*.f64 z y))
64.0ms	(-.f64 t (/.f64 t y))

Compiler

Compiled 2481 to 1855 computations (25.2% saved)

simplify79.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4942	3018
1	4942	3018

prune172.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	0	5	5
Picked	1	0	1
Done	0	2	2
Total	172	8	180

Error

0.0b

Counts

180 → 8

Compiler

Compiled 3930 to 1808 computations (54% saved)

regimes1.2s (10.2%)

Accuracy

Total 7.7b remaining (97.3%)

Threshold costs 0b (0%)

Compiler

Compiled 11731 to 9616 computations (18% saved)

bsearch159.0ms (1.4%)

Steps

Iters	Range		Point
10	8.226818329190277e+241	3.988207427477426e+252	1.8632665276419243e+247
8	-13.830666175108375	-0.01323898745631443	-10.538180230935154

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	133	75
1	133	75

end0.0ms (0%)

sample3.6s (31.3%)

Algorithm

1×

intervals

Results

778.0ms	1811×	body	1024	valid
335.0ms	1351×	body	512	valid
293.0ms	3820×	body	128	valid
253.0ms	297×	body	2048	valid
107.0ms	721×	body	256	valid
78.0ms	1604×	body	128	nan
59.0ms	219×	body	1024	nan
53.0ms	275×	body	512	nan
46.0ms	786×	body	128	overflowed
16.0ms	148×	body	256	nan
1.0ms	16×	body	128	invalid
0.0ms	1×	body	256	invalid

Compiler

Compiled 1235 to 1008 computations (18.4% saved)

Details

analyze1.1s (9.7%)

sample77.0ms (0.7%)

simplify418.0ms (3.7%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite140.0ms (1.2%)

series641.0ms (5.6%)

simplify72.0ms (0.6%)

prune138.0ms (1.2%)

localize10.0ms (0.1%)

rewrite133.0ms (1.2%)

series591.0ms (5.2%)

simplify66.0ms (0.6%)

prune135.0ms (1.2%)

localize12.0ms (0.1%)

rewrite240.0ms (2.1%)

series1.2s (10.1%)

simplify119.0ms (1%)

prune266.0ms (2.3%)

localize11.0ms (0.1%)

rewrite180.0ms (1.6%)

series727.0ms (6.4%)

simplify79.0ms (0.7%)

prune172.0ms (1.5%)

regimes1.2s (10.2%)

bsearch159.0ms (1.4%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.6s (31.3%)

Profiling