Details

analyze3.4s (2.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	25%	75%	2
0%	25%	75%	3
0%	25%	75%	4
0%	25%	75%	5
0%	25%	75%	6
0%	25%	75%	7
3.1%	21.8%	75%	8
3.1%	21.8%	75%	9
3.1%	21.8%	75%	10
3.1%	21.8%	75%	11
3.1%	21.8%	75%	12
3.1%	21.8%	75%	13
3.1%	21.8%	75%	14

Compiler

Compiled 50 to 40 computations (20% saved)

sample13.3s (8.9%)

Algorithm

1×

intervals

Results

11.7s	492×	body	8192	exit
604.0ms	382×	body	1024	overflowed
435.0ms	2195×	body	128	overflowed
173.0ms	204×	body	512	overflowed
105.0ms	3609×	pre	128	true
36.0ms	80×	body	256	overflowed
32.0ms	249×	body	128	valid
11.0ms	1×	body	4096	valid
7.0ms	3×	body	1024	valid
2.0ms	1×	body	2048	valid
2.0ms	2×	body	512	valid

Compiler

Compiled 93 to 79 computations (15.1% saved)

simplify170.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5036	68

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

Merged error: 6.0b

Counts

2 → 1

Compiler

Compiled 86 to 70 computations (18.6% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
0.2b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.7b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
3.4b	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

rewrite184.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1192×	`add-exp-log_binary64_3867`
692×	`pow-exp_binary64_3897`
684×	`prod-exp_binary64_3878`
593×	`div-exp_binary64_3880`
344×	`pow-to-exp_binary64_3898`
116×	`1-exp_binary64_3873` `rec-exp_binary64_3879`
56×	`*-un-lft-identity_binary64_3829`
41×	`times-frac_binary64_3835` `add-sqr-sqrt_binary64_3851`
36×	`unpow-prod-down_binary64_3908`
30×	`add-cube-cbrt_binary64_3864`
18×	`cancel-sign-sub-inv_binary64_3795`
16×	`add-cbrt-cube_binary64_3865`
9×	`distribute-lft-out_binary64_3780`
8×	`pow1_binary64_3890`
6×	`add-log-exp_binary64_3868` `pow-pow_binary64_3901` `associate-/r/_binary64_3775` `difference-of-squares_binary64_3798` `pow-unpow_binary64_3906`
5×	`div-inv_binary64_3826`
4×	`cbrt-undiv_binary64_3863` `cbrt-unprod_binary64_3862`
3×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
2×	`distribute-lft-out--_binary64_3781` `sqr-pow_binary64_3801` `inv-pow_binary64_3914` `pow-flip_binary64_3903`
1×	`flip--_binary64_3804` `flip3--_binary64_3833` `clear-num_binary64_3828` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `frac-2neg_binary64_3840` `sub-neg_binary64_3822` `diff-log_binary64_3921`

Counts

4 → 489

Calls

4 calls:

58.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
12.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
9.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)

series1.0s (0.7%)

Counts

4 → 12

Calls

4 calls:

860.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
63.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
60.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
30.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))

simplify269.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

501 → 501

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5038	27612

prune2.0s (1.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	497	4	501
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	498	4	502

Merged error: 0.3b

Counts

502 → 4

Compiler

Compiled 21775 to 13860 computations (36.3% saved)

localize28.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
1.7b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
8.3b	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
8.3b	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

rewrite72.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`*-un-lft-identity_binary64_3829`
49×	`add-sqr-sqrt_binary64_3851`
45×	`log-prod_binary64_3915`
20×	`difference-of-squares_binary64_3798`
16×	`pow1_binary64_3890`
15×	`associate--r+_binary64_3765` `associate--l+_binary64_3766`
14×	`distribute-lft-out--_binary64_3781`
12×	`times-frac_binary64_3835` `add-cube-cbrt_binary64_3864` `log-div_binary64_3916` `log-pow_binary64_3918`
8×	`cancel-sign-sub-inv_binary64_3795`
6×	`add-exp-log_binary64_3867`
5×	`flip--_binary64_3804` `flip3--_binary64_3833`
4×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865` `associate--l-_binary64_3767` `associate--r-_binary64_3768`
3×	`flip3-+_binary64_3832` `div-inv_binary64_3826` `flip-+_binary64_3803` `distribute-lft-out_binary64_3780`
2×	`rem-log-exp_binary64_3870` `sub-neg_binary64_3822` `diff-log_binary64_3921`

Counts

4 → 115

Calls

4 calls:

29.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
11.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
11.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))

series325.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

129.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
81.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
68.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
46.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5193	3582

prune308.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	124	3	127
Fresh	3	0	3
Picked	1	0	1
Done	0	0	0
Total	128	3	131

Merged error: 0.2b

Counts

131 → 3

Compiler

Compiled 6413 to 4242 computations (33.9% saved)

localize28.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
0.3b	(.f64 (neg.f64 c_p) (+.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) -1/2))))
0.5b	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
8.3b	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

rewrite78.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`add-sqr-sqrt_binary64_3851`
62×	`*-un-lft-identity_binary64_3829`
33×	`log-prod_binary64_3915`
28×	`times-frac_binary64_3835`
25×	`difference-of-squares_binary64_3798`
22×	`cancel-sign-sub-inv_binary64_3795`
20×	`add-cube-cbrt_binary64_3864`
12×	`pow1_binary64_3890` `distribute-lft-out--_binary64_3781`
11×	`associate--r+_binary64_3765` `associate--l+_binary64_3766`
10×	`associate-l_binary64_3770`
7×	`add-exp-log_binary64_3867`
6×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865` `log-div_binary64_3916` `log-pow_binary64_3918`
5×	`div-inv_binary64_3826` `flip--_binary64_3804` `flip3--_binary64_3833`
3×	`distribute-rgt-neg-in_binary64_3787` `distribute-lft-out_binary64_3780` `distribute-lft-neg-in_binary64_3786` `associate-r_binary64_3769`
2×	`flip3-+_binary64_3832` `flip-+_binary64_3803` `associate-/r/_binary64_3775` `associate--l-_binary64_3767` `associate-*r/_binary64_3771` `sub-neg_binary64_3822` `associate--r-_binary64_3768` `diff-log_binary64_3921`
1×	`distribute-lft-neg-out_binary64_3788` `pow-prod-down_binary64_3900` `unswap-sqr_binary64_3797` `rem-log-exp_binary64_3870` `prod-exp_binary64_3878` `distribute-rgt-in_binary64_3779` `*-commutative_binary64_3760` `distribute-lft-in_binary64_3778` `neg-mul-1_binary64_3825` `cbrt-unprod_binary64_3862`

Counts

4 → 135

Calls

4 calls:

30.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
12.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
11.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
7.0ms	(.f64 (neg.f64 c_p) (+.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) -1/2))))

series309.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

126.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
93.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))
61.0ms	(.f64 (neg.f64 c_p) (+.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) -1/2))))
29.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))

simplify95.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5092	4018

prune367.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	147	3	150

Merged error: 0.2b

Counts

150 → 3

Compiler

Compiled 7050 to 4999 computations (29.1% saved)

localize41.0ms (0%)

Local error

Found 4 expressions with local error:

0.9b	(*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))))
0.9b	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3)
1.0b	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
8.1b	(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))

rewrite77.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-sqr-sqrt_binary64_3851`
55×	`*-un-lft-identity_binary64_3829`
41×	`pow1_binary64_3890`
36×	`cube-prod_binary64_3857` `unpow-prod-down_binary64_3908`
28×	`difference-of-squares_binary64_3798` `log-pow_binary64_3918`
22×	`log-prod_binary64_3915`
21×	`distribute-lft-out--_binary64_3781`
19×	`add-cube-cbrt_binary64_3864`
14×	`cancel-sign-sub-inv_binary64_3795`
11×	`distribute-rgt-in_binary64_3779` `sqr-pow_binary64_3801` `distribute-lft-in_binary64_3778`
8×	`times-frac_binary64_3835` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
6×	`add-log-exp_binary64_3868` `swap-sqr_binary64_3796` `pow-unpow_binary64_3906`
4×	`associate-r_binary64_3769` `associate-l_binary64_3770`
3×	`cube-mult_binary64_3859` `unpow3_binary64_3895`
2×	`div-inv_binary64_3826` `pow-exp_binary64_3897` `pow-pow_binary64_3901` `rem-cube-cbrt_binary64_3852` `pow-to-exp_binary64_3898`
1×	`pow-prod-down_binary64_3900` `flip--_binary64_3804` `unswap-sqr_binary64_3797` `pow-prod-up_binary64_3899` `prod-exp_binary64_3878` `flip3--_binary64_3833` `pow-sqr_binary64_3802` `*-commutative_binary64_3760` `difference-cubes_binary64_3831` `pow-plus_binary64_3892` `cbrt-unprod_binary64_3862` `pow2_binary64_3910` `sub-neg_binary64_3822` `diff-log_binary64_3921`

Counts

4 → 161

Calls

4 calls:

19.0ms	(*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))))
15.0ms	(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))
3.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3)
3.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)

series579.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

232.0ms	(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))
130.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
118.0ms	(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3)
98.0ms	(*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))))

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5012	6371

prune1.7s (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	173	3	176

Merged error: 0.2b

Counts

176 → 3

Compiler

Compiled 18357 to 13437 computations (26.8% saved)

regimes879.0ms (0.6%)

Compiler: Compiled 14946 to 12727 computations (14.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	151	42
1	151	42

end0.0ms (0%)

sample2.1min (83%)

Algorithm

1×

intervals

Results

1.8min	4918×	body	8192	exit
5.6s	3781×	body	1024	overflowed
4.2s	22861×	body	128	overflowed
1.6s	2029×	body	512	overflowed
929.0ms	37322×	pre	128	true
404.0ms	956×	body	256	overflowed
324.0ms	2702×	body	128	valid
98.0ms	5×	body	8192	valid
37.0ms	5×	body	4096	valid
33.0ms	22×	body	1024	valid
28.0ms	10×	body	2048	valid
11.0ms	16×	body	512	valid
10.0ms	1×	body	8192	invalid
5.0ms	14×	body	256	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 50 to 44 computations (12% saved)

Details

analyze3.4s (2.3%)

sample13.3s (8.9%)

simplify170.0ms (0.1%)

prune5.0ms (0%)

localize24.0ms (0%)

rewrite184.0ms (0.1%)

series1.0s (0.7%)

simplify269.0ms (0.2%)

prune2.0s (1.3%)

localize28.0ms (0%)

rewrite72.0ms (0%)

series325.0ms (0.2%)

simplify89.0ms (0.1%)

prune308.0ms (0.2%)

localize28.0ms (0%)

rewrite78.0ms (0.1%)

series309.0ms (0.2%)

simplify95.0ms (0.1%)

prune367.0ms (0.2%)

localize41.0ms (0%)

rewrite77.0ms (0.1%)

series579.0ms (0.4%)

simplify98.0ms (0.1%)

prune1.7s (1.1%)

regimes879.0ms (0.6%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.1min (83%)

Profiling