Details

analyze1.8s (5.3%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4999	416
1	4999	416
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14
0%	44.4%	55.6%	14

Compiler

Compiled 38 to 36 computations (5.3% saved)

sample14.9s (43.8%)

Algorithm

2×

intervals

Results

264.0ms	2628×	body	128	nan
42.0ms	463×	body	128	valid
36.0ms	361×	body	128	invalid
7.0ms	23×	body	512	valid
5.0ms	9×	body	1024	valid
3.0ms	17×	body	256	valid
2.0ms	7×	body	512	invalid
2.0ms	8×	body	256	invalid
1.0ms	1×	body	1024	invalid

Compiler

Compiled 34028 to 42977 computations (-26.3% saved)

simplify55.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4948	26
1	4948	26

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

2.6b

Counts

2 → 2

Compiler

Compiled 52 to 49 computations (5.8% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.8b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
6.7b	(log.f64 (-.f64 1 z))

rewrite220.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

2.0b

Rules

33×	`add-sqr-sqrt_binary64_3510`
32×	`*-un-lft-identity_binary64_3488`
30×	`log-prod_binary64_3574`
24×	`distribute-rgt-in_binary64_3438` `associate--l+_binary64_3425` `distribute-lft-in_binary64_3437`
20×	`add-cube-cbrt_binary64_3523` `associate-+r+_binary64_3420`
18×	`cancel-sign-sub-inv_binary64_3454`
14×	`associate-+l+_binary64_3421`
10×	`associate-*r/_binary64_3430`
9×	`add-log-exp_binary64_3527`
8×	`pow1_binary64_3549`
7×	`difference-of-squares_binary64_3457` `add-exp-log_binary64_3526`
6×	`flip3--_binary64_3492` `flip--_binary64_3463` `add-cbrt-cube_binary64_3524` `sub-neg_binary64_3481` `associate-r_binary64_3428`
5×	`distribute-lft-out--_binary64_3440`
4×	`frac-add_binary64_3496`
3×	`associate-l_binary64_3429` `exp-prod_binary64_3540`
2×	`log-pow_binary64_3577` `log-div_binary64_3575` `sum-log_binary64_3579` `rem-exp-log_binary64_3528`
1×	`rem-log-exp_binary64_3529` `flip3-+_binary64_3491` `flip-+_binary64_3462` `+-commutative_binary64_3418` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `unswap-sqr_binary64_3456` `*-commutative_binary64_3419` `exp-sum_binary64_3534`

Counts

4 → 116

Calls

4 calls:

15.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
9.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
4.0ms	(log.f64 (-.f64 1 z))

Compiler

Compiled 3266 to 1571 computations (51.9% saved)

series2.1s (6.2%)

Error

0.0b

Counts

4 → 64

Calls

4 calls:

1.2s	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
447.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
326.0ms	(*.f64 y (-.f64 (log.f64 z) t))
24.0ms	(log.f64 (-.f64 1 z))

Compiler

Compiled 4322 to 2974 computations (31.2% saved)

simplify93.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4999	3931
1	4999	3931

prune245.0ms (0.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	177	3	180
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	179	3	182

Error

0.0b

Counts

182 → 3

Compiler

Compiled 4366 to 2068 computations (52.6% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (log.f64 z) t)
0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.8b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b)))

rewrite169.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
21×	`cancel-sign-sub-inv_binary64_3454`
19×	`add-cube-cbrt_binary64_3523`
18×	`distribute-rgt-in_binary64_3438` `distribute-lft-in_binary64_3437`
15×	`log-prod_binary64_3574` `associate--l+_binary64_3425`
14×	`associate-+l+_binary64_3421`
10×	`add-log-exp_binary64_3527` `associate-*r/_binary64_3430`
8×	`pow1_binary64_3549` `associate-+r+_binary64_3420`
7×	`sub-neg_binary64_3481`
6×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `flip3--_binary64_3492` `flip--_binary64_3463` `associate-r_binary64_3428`
4×	`frac-add_binary64_3496` `distribute-lft-out--_binary64_3440`
3×	`associate-l_binary64_3429` `exp-prod_binary64_3540`
2×	`sum-log_binary64_3579` `difference-of-squares_binary64_3457` `log-pow_binary64_3577` `rem-exp-log_binary64_3528`
1×	`flip3-+_binary64_3491` `flip-+_binary64_3462` `+-commutative_binary64_3418` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `unswap-sqr_binary64_3456` `*-commutative_binary64_3419` `exp-sum_binary64_3534` `diff-log_binary64_3580`

Counts

4 → 107

Calls

4 calls:

12.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b)))
10.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
9.0ms	(*.f64 y (-.f64 (log.f64 z) t))
5.0ms	(-.f64 (log.f64 z) t)

Compiler

Compiled 2719 to 643 computations (76.4% saved)

series1.7s (4.9%)

Error

0.0b

Counts

4 → 71

Calls

4 calls:

783.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b)))
326.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
319.0ms	(*.f64 y (-.f64 (log.f64 z) t))
176.0ms	(-.f64 (log.f64 z) t)

Compiler

Compiled 3925 to 2216 computations (43.5% saved)

simplify81.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5023	3180

prune166.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	177	4	181

Error

0.0b

Counts

181 → 4

Compiler

Compiled 3728 to 753 computations (79.8% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.8b	(-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b)))
0.8b	(-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b)))

rewrite246.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`associate--l+_binary64_3425`
32×	`add-sqr-sqrt_binary64_3510`
30×	`*-un-lft-identity_binary64_3488` `distribute-rgt-in_binary64_3438` `distribute-lft-in_binary64_3437`
26×	`cancel-sign-sub-inv_binary64_3454`
24×	`add-cube-cbrt_binary64_3523` `log-prod_binary64_3574`
20×	`associate-*r/_binary64_3430`
12×	`associate-r_binary64_3428`
10×	`pow1_binary64_3549` `sub-neg_binary64_3481`
8×	`add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `flip3--_binary64_3492` `frac-sub_binary64_3497` `flip--_binary64_3463`
6×	`associate-l_binary64_3429`
4×	`flip3-+_binary64_3491` `flip-+_binary64_3462` `associate--r+_binary64_3424` `distribute-lft-out--_binary64_3440`
2×	`diff-log_binary64_3580` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `unswap-sqr_binary64_3456` `difference-of-squares_binary64_3457` `log-pow_binary64_3577` `*-commutative_binary64_3419`

Counts

4 → 138

Calls

4 calls:

10.0ms	(-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b)))
10.0ms	(-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b)))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))

Compiler

Compiled 5638 to 900 computations (84% saved)

series2.4s (7.1%)

Error

0.0b

Counts

4 → 82

Calls

4 calls:

845.0ms	(-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b)))
815.0ms	(-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b)))
341.0ms	(*.f64 y (-.f64 (log.f64 z) t))
323.0ms	(*.f64 y (-.f64 (log.f64 z) t))

Compiler

Compiled 6746 to 3360 computations (50.2% saved)

simplify80.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5266	3700

prune264.0ms (0.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	220	0	220
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	220	4	224

Error

0.0b

Counts

224 → 4

Compiler

Compiled 7751 to 810 computations (89.5% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 a (-.f64 (neg.f64 z) b))
0.0b	(.f64 x (exp.f64 (.f64 a (-.f64 (neg.f64 z) b))))
0.0b	(exp.f64 (*.f64 a (-.f64 (neg.f64 z) b)))

rewrite93.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`add-sqr-sqrt_binary64_3510`
18×	`cancel-sign-sub-inv_binary64_3454`
17×	`-un-lft-identity_binary64_3488` `associate-r*_binary64_3428`
16×	`exp-sum_binary64_3534`
13×	`add-cube-cbrt_binary64_3523`
12×	`distribute-rgt-in_binary64_3438` `distribute-lft-in_binary64_3437`
7×	`pow1_binary64_3549` `add-cbrt-cube_binary64_3524`
6×	`sub-neg_binary64_3481` `add-exp-log_binary64_3526` `associate-l_binary64_3429`
5×	`add-log-exp_binary64_3527`
2×	`pow-prod-down_binary64_3559` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `unswap-sqr_binary64_3456` `-commutative_binary64_3419` `associate-r/_binary64_3430` `distribute-lft-out--_binary64_3440`
1×	`exp-to-pow_binary64_3550` `exp-prod_binary64_3540` `rem-exp-log_binary64_3528` `flip3--_binary64_3492` `flip--_binary64_3463` `difference-of-squares_binary64_3457` `distribute-rgt-neg-in_binary64_3446`

Counts

3 → 75

Calls

3 calls:

9.0ms	(*.f64 a (-.f64 (neg.f64 z) b))
8.0ms	(.f64 x (exp.f64 (.f64 a (-.f64 (neg.f64 z) b))))
4.0ms	(exp.f64 (*.f64 a (-.f64 (neg.f64 z) b)))

Compiler

Compiled 1198 to 302 computations (74.8% saved)

series526.0ms (1.5%)

Error

0.0b

Counts

3 → 42

Calls

3 calls:

232.0ms	(.f64 x (exp.f64 (.f64 a (-.f64 (neg.f64 z) b))))
173.0ms	(*.f64 a (-.f64 (neg.f64 z) b))
93.0ms	(exp.f64 (*.f64 a (-.f64 (neg.f64 z) b)))

Compiler

Compiled 1352 to 1162 computations (14.1% saved)

simplify53.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5537	1358

prune77.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	116	5	121

Error

0.0b

Counts

121 → 5

Compiler

Compiled 1385 to 255 computations (81.6% saved)

regimes814.0ms (2.4%)

Accuracy

Total 0.4b remaining (93.5%)

Threshold costs 0.4b (93.5%)

Compiler

Compiled 8795 to 7028 computations (20.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	69	23
1	69	23

end0.0ms (0%)

sample7.9s (23.2%)

Algorithm

1×

intervals

Results

3.2s	41097×	body	128	nan
635.0ms	7362×	body	128	valid
464.0ms	5459×	body	128	invalid
84.0ms	274×	body	512	valid
62.0ms	108×	body	1024	valid
49.0ms	256×	body	256	valid
37.0ms	115×	body	512	invalid
28.0ms	52×	body	1024	invalid
25.0ms	141×	body	256	invalid

Compiler

Compiled 951 to 762 computations (19.9% saved)

Details

analyze1.8s (5.3%)

sample14.9s (43.8%)

simplify55.0ms (0.2%)

prune5.0ms (0%)

localize15.0ms (0%)

rewrite220.0ms (0.6%)

series2.1s (6.2%)

simplify93.0ms (0.3%)

prune245.0ms (0.7%)

localize14.0ms (0%)

rewrite169.0ms (0.5%)

series1.7s (4.9%)

simplify81.0ms (0.2%)

prune166.0ms (0.5%)

localize16.0ms (0%)

rewrite246.0ms (0.7%)

series2.4s (7.1%)

simplify80.0ms (0.2%)

prune264.0ms (0.8%)

localize8.0ms (0%)

rewrite93.0ms (0.3%)

series526.0ms (1.5%)

simplify53.0ms (0.2%)

prune77.0ms (0.2%)

regimes814.0ms (2.4%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample7.9s (23.2%)

Profiling