Details

analyze1.7s (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	49.9%	50.1%	0
0%	49.9%	50.1%	1
0%	49.9%	50.1%	2
0%	49.9%	50.1%	3
0%	49.9%	50.1%	4
0%	49.9%	50.1%	5
0%	49.9%	50.1%	6
0%	49.9%	50.1%	7
0%	49.9%	50.1%	8
0.4%	49.5%	50.1%	9
0.4%	49.3%	50.3%	10
0.6%	48.9%	50.5%	11
1.1%	48.1%	50.9%	12
1.5%	47.3%	51.2%	13
1.7%	46.9%	51.5%	14

Compiler

Compiled 31 to 24 computations (22.6% saved)

sample185.0ms (0.1%)

Algorithm

1×

intervals

Results

101.0ms	123×	body	2048	valid
33.0ms	86×	body	1024	valid
7.0ms	17×	body	2048	overflowed
7.0ms	314×	pre	128	true
7.0ms	21×	body	1024	overflowed
6.0ms	25×	body	512	valid
2.0ms	8×	body	512	overflowed
1.0ms	17×	body	128	valid
1.0ms	5×	body	256	valid
1.0ms	9×	body	128	overflowed
0.0ms	3×	body	256	overflowed

Compiler

Compiled 58 to 52 computations (10.3% saved)

simplify116.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5217	40

prune6.0ms (0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	1	3	4
Fresh	0	4	4
Picked	0	0	0
Done	0	0	0
Total	1	7	8

Error

56.6b

Counts

8 → 4

Compiler

Compiled 27 to 22 computations (18.5% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

2.6b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(*.f64 (+.f64 a b) eps)
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
2.6b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
3.3b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_782`
26×	`*-un-lft-identity_binary64_760`
15×	`cancel-sign-sub-inv_binary64_726`
11×	`add-cube-cbrt_binary64_795`
10×	`add-log-exp_binary64_799` `difference-of-squares_binary64_729`
9×	`flip--_binary64_735` `flip3--_binary64_764`
7×	`associate-r_binary64_700` `associate-l_binary64_701`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
5×	`difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `sub-neg_binary64_753`
4×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `frac-times_binary64_770`
3×	`diff-log_binary64_852`
2×	`associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 96

Calls

8 calls:

12.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
5.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
5.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series370.0ms (0.3%)

Counts

4 → 44

Calls

4 calls:

185.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
71.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
59.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
55.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 2243 to 1716 computations (23.5% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4993	2689
1	4993	2689

prune568.0ms (0.5%)

Pruning

43 alts after pruning (42 fresh and 1 done)

	Pruned	Kept	Total
New	101	39	140
Fresh	0	3	3
Picked	0	0	0
Done	0	1	1
Total	101	43	144

Error

46.7b

Counts

144 → 43

Compiler

Compiled 4143 to 2143 computations (48.3% saved)

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(.f64 1/2 (.f64 a a))
0.0b	(+.f64 a (.f64 (.f64 1/2 (*.f64 a a)) eps))
0.0b	(*.f64 (+.f64 a b) eps)
2.6b	(.f64 eps (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)))
3.3b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (.f64 eps (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps))) (-.f64 (exp.f64 (.f64 b eps)) 1)))
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
5.8b	(.f64 (.f64 1/2 (*.f64 a a)) eps)

rewrite51.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
16×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
15×	`pow1_binary64_821`
14×	`add-sqr-sqrt_binary64_782`
12×	`associate-*r/_binary64_702`
11×	`*-un-lft-identity_binary64_760`
8×	`associate-/r/_binary64_706` `add-cube-cbrt_binary64_795`
7×	`pow-prod-down_binary64_831`
6×	`cbrt-undiv_binary64_794` `add-log-exp_binary64_799` `associate-r_binary64_700` `div-exp_binary64_811`
5×	`flip--_binary64_735` `flip3--_binary64_764`
4×	`flip3-+_binary64_763` `flip-+_binary64_734` `frac-times_binary64_770` `associate-l_binary64_701`
3×	`cancel-sign-sub-inv_binary64_726`
2×	`associate-l/_binary64_703` `associate-/l/_binary64_707` `difference-of-squares_binary64_729` `-commutative_binary64_691`
1×	`diff-log_binary64_852` `unswap-sqr_binary64_728` `frac-2neg_binary64_771` `distribute-lft-in_binary64_709` `associate-/r_binary64_704` `div-inv_binary64_757` `distribute-rgt-in_binary64_710` `associate-/l_binary64_705` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `clear-num_binary64_759` `sub-neg_binary64_753` `times-frac_binary64_766`

Counts

4 → 96

Calls

8 calls:

18.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (.f64 eps (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps))) (-.f64 (exp.f64 (.f64 b eps)) 1)))
9.0ms	(.f64 (.f64 1/2 (*.f64 a a)) eps)
6.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
6.0ms	(.f64 eps (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)))
0.0ms	(*.f64 (+.f64 a b) eps)

series1.0s (0.8%)

Counts

4 → 40

Calls

4 calls:

702.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (.f64 eps (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps))) (-.f64 (exp.f64 (.f64 b eps)) 1)))
150.0ms	(.f64 eps (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)))
79.0ms	(.f64 (.f64 1/2 (*.f64 a a)) eps)
72.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

Compiler

Compiled 3081 to 2186 computations (29% saved)

simplify113.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4951	3359
1	4951	3359

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

5.3b	(.f64 a (.f64 b (*.f64 eps eps)))
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(*.f64 (+.f64 a b) eps)
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
5.3b	(.f64 a (.f64 b (*.f64 eps eps)))
6.1b	(.f64 b (.f64 eps eps))
36.2b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 a (.f64 b (*.f64 eps eps))))

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
25×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
18×	`pow1_binary64_821`
12×	`add-sqr-sqrt_binary64_782`
10×	`*-un-lft-identity_binary64_760`
9×	`pow-prod-down_binary64_831`
8×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
7×	`add-cube-cbrt_binary64_795`
6×	`add-log-exp_binary64_799` `associate-l_binary64_701`
3×	`cancel-sign-sub-inv_binary64_726`
2×	`associate-/l/_binary64_707` `difference-of-squares_binary64_729` `associate-r_binary64_700` `associate-r/_binary64_702` `-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `unswap-sqr_binary64_728` `frac-2neg_binary64_771` `associate-/r_binary64_704` `div-inv_binary64_757` `associate-/l_binary64_705` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `clear-num_binary64_759` `sub-neg_binary64_753` `times-frac_binary64_766`

Counts

4 → 89

Calls

8 calls:

14.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 a (.f64 b (*.f64 eps eps))))
8.0ms	(.f64 a (.f64 b (*.f64 eps eps)))
6.0ms	(.f64 b (.f64 eps eps))
5.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series476.0ms (0.4%)

Counts

4 → 38

Calls

4 calls:

225.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 a (.f64 b (*.f64 eps eps))))
124.0ms	(.f64 a (.f64 b (*.f64 eps eps)))
69.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
58.0ms	(.f64 b (.f64 eps eps))

Compiler

Compiled 1393 to 1007 computations (27.7% saved)

simplify52.0ms (0%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5047	2066

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
0.2b	(/.f64 (.f64 eps (+.f64 -1 (.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (.f64 b eps))))) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
0.1b	(.f64 eps (+.f64 -1 (.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (.f64 b eps)))))
0.0b	(.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (*.f64 b eps)))
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
2.6b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
3.3b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
5.1b	(+.f64 -1 (.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (*.f64 b eps))))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_782`
22×	`*-un-lft-identity_binary64_760`
12×	`cancel-sign-sub-inv_binary64_726`
10×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
8×	`difference-of-squares_binary64_729` `flip--_binary64_735` `flip3--_binary64_764`
7×	`associate-r_binary64_700` `associate-l_binary64_701`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
5×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710`
4×	`difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `frac-times_binary64_770` `sub-neg_binary64_753`
2×	`diff-log_binary64_852` `associate-l/_binary64_703` `associate-+r+_binary64_692` `associate-r/_binary64_702`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 91

Calls

8 calls:

12.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
4.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
4.0ms	(+.f64 -1 (.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (*.f64 b eps))))
0.0ms	(.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (*.f64 b eps)))

series458.0ms (0.4%)

Counts

4 → 41

Calls

4 calls:

185.0ms	(+.f64 -1 (.f64 (exp.f64 (.f64 a eps)) (+.f64 1 (*.f64 b eps))))
176.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
61.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
35.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 2330 to 1617 computations (30.6% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5607	2551

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1)
0.0b	(.f64 eps (/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)))
0.0b	(+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0b	(*.f64 (+.f64 a b) eps)
0.8b	(/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1))
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
2.6b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
3.3b	(-.f64 (exp.f64 (*.f64 a eps)) 1)

rewrite59.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`*-un-lft-identity_binary64_760`
52×	`add-sqr-sqrt_binary64_782`
32×	`times-frac_binary64_766`
24×	`add-cube-cbrt_binary64_795`
20×	`difference-of-sqr--1_binary64_731`
14×	`distribute-lft-out_binary64_711`
12×	`cancel-sign-sub-inv_binary64_726`
8×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `associate-/l*_binary64_705` `flip--_binary64_735` `flip3--_binary64_764`
7×	`associate-r_binary64_700` `associate-l_binary64_701`
6×	`pow1_binary64_821`
5×	`unpow-prod-up_binary64_838` `sqr-pow_binary64_732` `unpow-prod-down_binary64_839`
4×	`distribute-lft-in_binary64_709` `associate-/r*_binary64_704` `distribute-rgt-in_binary64_710` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `frac-times_binary64_770` `sub-neg_binary64_753`
2×	`diff-log_binary64_852` `associate-l/_binary64_703` `associate-/r/_binary64_706` `flip3-+_binary64_763` `associate-/l/_binary64_707` `flip-+_binary64_734` `associate-r/_binary64_702`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `prod-exp_binary64_809` `div-inv_binary64_757` `cbrt-unprod_binary64_793` `div-exp_binary64_811` `clear-num_binary64_759` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 138

Calls

8 calls:

15.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1))
13.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
5.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series698.0ms (0.6%)

Counts

4 → 43

Calls

4 calls:

375.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1))
195.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
66.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
61.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 3134 to 2214 computations (29.4% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5507	5186

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(+.f64 1 (exp.f64 (*.f64 b eps)))
0.0b	(+.f64 1 (exp.f64 (*.f64 a eps)))
0.0b	(*.f64 (+.f64 a b) eps)
0.7b	(pow.f64 (exp.f64 a) (+.f64 eps eps))
0.7b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (/.f64 (.f64 (+.f64 -1 (pow.f64 (exp.f64 a) (+.f64 eps eps))) (+.f64 -1 (pow.f64 (exp.f64 b) (+.f64 eps eps)))) (.f64 (+.f64 1 (exp.f64 (.f64 a eps))) (+.f64 1 (exp.f64 (.f64 b eps))))))
1.2b	(/.f64 (.f64 (+.f64 -1 (pow.f64 (exp.f64 a) (+.f64 eps eps))) (+.f64 -1 (pow.f64 (exp.f64 b) (+.f64 eps eps)))) (.f64 (+.f64 1 (exp.f64 (.f64 a eps))) (+.f64 1 (exp.f64 (.f64 b eps)))))
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite89.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
25×	`associate-/r/_binary64_706`
24×	`flip3-+_binary64_763` `flip-+_binary64_734`
22×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
19×	`*-un-lft-identity_binary64_760`
18×	`add-sqr-sqrt_binary64_782`
17×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
16×	`frac-times_binary64_770` `times-frac_binary64_766`
14×	`associate-/r*_binary64_704` `add-cube-cbrt_binary64_795`
12×	`pow-unpow_binary64_837`
10×	`associate-/l/_binary64_707` `associate-*r/_binary64_702`
8×	`associate-*l/_binary64_703`
6×	`add-log-exp_binary64_799`
5×	`pow1_binary64_821`
4×	`div-inv_binary64_757` `pow-pow_binary64_832`
3×	`distribute-lft-out_binary64_711` `exp-prod_binary64_812` `cancel-sign-sub-inv_binary64_726` `distribute-rgt-out_binary64_713` `unpow-prod-down_binary64_839`
2×	`frac-2neg_binary64_771` `difference-of-squares_binary64_729` `associate-/l*_binary64_705` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `unpow-prod-up_binary64_838` `count-2_binary64_708` `distribute-rgt1-in_binary64_716` `pow-exp_binary64_828` `difference-of-sqr-1_binary64_730` `pow-to-exp_binary64_829` `distribute-lft-out--_binary64_712` `sqr-pow_binary64_732` `sub-neg_binary64_753` `distribute-lft1-in_binary64_715`

Counts

4 → 145

Calls

8 calls:

33.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (/.f64 (.f64 (+.f64 -1 (pow.f64 (exp.f64 a) (+.f64 eps eps))) (+.f64 -1 (pow.f64 (exp.f64 b) (+.f64 eps eps)))) (.f64 (+.f64 1 (exp.f64 (.f64 a eps))) (+.f64 1 (exp.f64 (.f64 b eps))))))
20.0ms	(/.f64 (.f64 (+.f64 -1 (pow.f64 (exp.f64 a) (+.f64 eps eps))) (+.f64 -1 (pow.f64 (exp.f64 b) (+.f64 eps eps)))) (.f64 (+.f64 1 (exp.f64 (.f64 a eps))) (+.f64 1 (exp.f64 (.f64 b eps)))))
6.0ms	(pow.f64 (exp.f64 a) (+.f64 eps eps))
5.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series4.0s (3.2%)

Counts

4 → 43

Calls

4 calls:

2.4s	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (/.f64 (.f64 (+.f64 -1 (pow.f64 (exp.f64 a) (+.f64 eps eps))) (+.f64 -1 (pow.f64 (exp.f64 b) (+.f64 eps eps)))) (.f64 (+.f64 1 (exp.f64 (.f64 a eps))) (+.f64 1 (exp.f64 (.f64 b eps))))))
1.4s	(/.f64 (.f64 (+.f64 -1 (pow.f64 (exp.f64 a) (+.f64 eps eps))) (+.f64 -1 (pow.f64 (exp.f64 b) (+.f64 eps eps)))) (.f64 (+.f64 1 (exp.f64 (.f64 a eps))) (+.f64 1 (exp.f64 (.f64 b eps)))))
116.0ms	(pow.f64 (exp.f64 a) (+.f64 eps eps))
96.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

Compiler

Compiled 7770 to 5020 computations (35.4% saved)

simplify129.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4950	9699
1	4950	9699

prune17.3s (14%)

Pruning

300 alts after pruning (295 fresh and 5 done)

	Pruned	Kept	Total
New	504	260	764
Fresh	2	35	37
Picked	0	0	0
Done	1	5	6
Total	507	300	807

Error

0.0b

Counts

807 → 300

Compiler

Compiled 34054 to 16747 computations (50.8% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

14.5b	(/.f64 (+.f64 a b) (*.f64 a b))
14.5b	(/.f64 (+.f64 a b) (*.f64 a b))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_760`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`associate-/l*_binary64_705` `times-frac_binary64_766`
3×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
2×	`cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `associate-/l/_binary64_707` `div-exp_binary64_811`
1×	`frac-2neg_binary64_771` `prod-exp_binary64_809` `flip3-+_binary64_763` `associate-/r*_binary64_704` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `cbrt-unprod_binary64_793` `pow1_binary64_821` `clear-num_binary64_759`

Counts

1 → 25

Calls

2 calls:

6.0ms	(/.f64 (+.f64 a b) (*.f64 a b))
0.0ms	(/.f64 (+.f64 a b) (*.f64 a b))

series105.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

105.0ms

(/.f64 (+.f64 a b) (*.f64 a b))

Compiler

Compiled 102 to 126 computations (-23.5% saved)

simplify56.0ms (0%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5070	408

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.5b	(pow.f64 (exp.f64 (.f64 b (.f64 eps eps))) a)
0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(*.f64 (+.f64 a b) eps)
0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.5b	(pow.f64 (exp.f64 (.f64 b (.f64 eps eps))) a)
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
6.1b	(.f64 b (.f64 eps eps))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_782`
18×	`*-un-lft-identity_binary64_760`
12×	`add-cube-cbrt_binary64_795` `pow1_binary64_821`
11×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`cancel-sign-sub-inv_binary64_726`
8×	`associate-r_binary64_700`
7×	`add-log-exp_binary64_799`
6×	`associate-l_binary64_701`
4×	`prod-exp_binary64_809` `distribute-lft-in_binary64_709` `difference-of-squares_binary64_729` `distribute-rgt-in_binary64_710` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
3×	`sub-neg_binary64_753` `pow-unpow_binary64_837` `unpow-prod-down_binary64_839` `pow-pow_binary64_832`
2×	`unswap-sqr_binary64_728` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `associate-r/_binary64_702` `-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `exp-prod_binary64_812` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `exp-to-pow_binary64_822` `sqr-pow_binary64_732`

Counts

4 → 88

Calls

8 calls:

9.0ms	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
6.0ms	(.f64 b (.f64 eps eps))
5.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
4.0ms	(pow.f64 (exp.f64 (.f64 b (.f64 eps eps))) a)
0.0ms	(*.f64 (+.f64 a b) eps)

series456.0ms (0.4%)

Counts

4 → 39

Calls

4 calls:

228.0ms	(pow.f64 (exp.f64 (.f64 b (.f64 eps eps))) a)
107.0ms	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
61.0ms	(.f64 b (.f64 eps eps))
60.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

Compiler

Compiled 1652 to 1278 computations (22.6% saved)

simplify108.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4927	1766
1	4927	1766

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (exp.f64 (*.f64 b eps)) 3)
0.0b	(+.f64 1 (exp.f64 (*.f64 b eps)))
0.0b	(.f64 (exp.f64 (.f64 b eps)) (+.f64 1 (exp.f64 (*.f64 b eps))))
0.0b	(*.f64 (+.f64 a b) eps)
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (/.f64 (+.f64 -1 (pow.f64 (exp.f64 (.f64 b eps)) 3)) (+.f64 1 (.f64 (exp.f64 (.f64 b eps)) (+.f64 1 (exp.f64 (.f64 b eps)))))))
2.5b	(+.f64 -1 (pow.f64 (exp.f64 (*.f64 b eps)) 3))
3.3b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
5.1b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite52.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_782`
18×	`associate-r_binary64_700`
15×	`add-cube-cbrt_binary64_795`
13×	`times-frac_binary64_766`
10×	`add-log-exp_binary64_799`
9×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
7×	`associate-l_binary64_701`
6×	`cancel-sign-sub-inv_binary64_726` `difference-of-squares_binary64_729` `pow1_binary64_821`
4×	`distribute-lft-out_binary64_711` `flip--_binary64_735` `flip3--_binary64_764`
3×	`difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712`
2×	`diff-log_binary64_852` `unswap-sqr_binary64_728` `associate-*l/_binary64_703` `prod-exp_binary64_809` `associate-/r/_binary64_706` `flip3-+_binary64_763` `flip-+_binary64_734` `frac-times_binary64_770` `cbrt-unprod_binary64_793` `sub-neg_binary64_753`
1×	`cbrt-undiv_binary64_794` `div-inv_binary64_757` `+-commutative_binary64_690` `sum-log_binary64_851` `associate-r/_binary64_702` `div-exp_binary64_811` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

4 → 93

Calls

8 calls:

19.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (/.f64 (+.f64 -1 (pow.f64 (exp.f64 (.f64 b eps)) 3)) (+.f64 1 (.f64 (exp.f64 (.f64 b eps)) (+.f64 1 (exp.f64 (.f64 b eps)))))))
8.0ms	(+.f64 -1 (pow.f64 (exp.f64 (*.f64 b eps)) 3))
5.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series857.0ms (0.7%)

Counts

4 → 41

Calls

4 calls:

626.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (/.f64 (+.f64 -1 (pow.f64 (exp.f64 (.f64 b eps)) 3)) (+.f64 1 (.f64 (exp.f64 (.f64 b eps)) (+.f64 1 (exp.f64 (.f64 b eps)))))))
89.0ms	(+.f64 -1 (pow.f64 (exp.f64 (*.f64 b eps)) 3))
81.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
60.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 3248 to 2201 computations (32.2% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5479	3968

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b	(pow.f64 (exp.f64 (+.f64 a b)) eps)
0.7b	(pow.f64 (exp.f64 (+.f64 a b)) eps)
0.2b	(+.f64 -1 (fabs.f64 (pow.f64 (exp.f64 (+.f64 a b)) eps)))
0.0b	(*.f64 eps (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))) 1) (/.f64 (+.f64 1 (pow.f64 (exp.f64 (+.f64 a b)) eps)) (+.f64 -1 (fabs.f64 (pow.f64 (exp.f64 (+.f64 a b)) eps))))))
0.7b	(pow.f64 (exp.f64 (+.f64 a b)) eps)
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
2.6b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
3.3b	(-.f64 (exp.f64 (*.f64 a eps)) 1)

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_782`
27×	`*-un-lft-identity_binary64_760`
13×	`add-cube-cbrt_binary64_795`
12×	`cancel-sign-sub-inv_binary64_726`
8×	`add-log-exp_binary64_799` `difference-of-squares_binary64_729` `flip--_binary64_735` `flip3--_binary64_764`
7×	`associate-r_binary64_700` `associate-l_binary64_701` `pow1_binary64_821`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`pow-pow_binary64_832`
4×	`exp-prod_binary64_812` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `frac-times_binary64_770` `sub-neg_binary64_753` `unpow-prod-down_binary64_839`
3×	`pow-unpow_binary64_837`
2×	`diff-log_binary64_852` `associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`unswap-sqr_binary64_728` `distribute-lft-out_binary64_711` `prod-exp_binary64_809` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `exp-sum_binary64_806` `sqr-pow_binary64_732` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 100

Calls

8 calls:

12.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
6.0ms	(pow.f64 (exp.f64 (+.f64 a b)) eps)
5.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
0.0ms	(*.f64 eps (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))) 1) (/.f64 (+.f64 1 (pow.f64 (exp.f64 (+.f64 a b)) eps)) (+.f64 -1 (fabs.f64 (pow.f64 (exp.f64 (+.f64 a b)) eps))))))

series507.0ms (0.4%)

Counts

4 → 43

Calls

4 calls:

197.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
169.0ms	(pow.f64 (exp.f64 (+.f64 a b)) eps)
72.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
68.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)

Compiler

Compiled 3753 to 2434 computations (35.1% saved)

simplify50.0ms (0%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5035	2611

prune20.5s (16.6%)

Pruning

418 alts after pruning (408 fresh and 10 done)

	Pruned	Kept	Total
New	308	133	441
Fresh	15	275	290
Picked	0	0	0
Done	0	10	10
Total	323	418	741

Error

0.0b

Counts

741 → 418

Compiler

Compiled 29648 to 16048 computations (45.9% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (/.f64 1 a) (/.f64 1 b))
0.0b	(+.f64 (/.f64 1 a) (/.f64 1 b))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_760`
7×	`distribute-lft-out_binary64_711`
6×	`times-frac_binary64_766`
4×	`div-inv_binary64_757`
3×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `add-sqr-sqrt_binary64_782`
1×	`flip3-+_binary64_763` `add-exp-log_binary64_798` `frac-add_binary64_768` `flip-+_binary64_734` `add-cbrt-cube_binary64_796` `+-commutative_binary64_690` `sum-log_binary64_851` `pow1_binary64_821`

Counts

1 → 19

Calls

2 calls:

13.0ms	(+.f64 (/.f64 1 a) (/.f64 1 b))
0.0ms	(+.f64 (/.f64 1 a) (/.f64 1 b))

series61.0ms (0%)

Counts

1 → 12

Calls

1 calls:

61.0ms

(+.f64 (/.f64 1 a) (/.f64 1 b))

Compiler

Compiled 102 to 126 computations (-23.5% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4871	341
1	4871	341

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (-.f64 (exp.f64 (.f64 eps (+.f64 a b))) 1) (.f64 (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)) (+.f64 -1 (exp.f64 (.f64 eps b)))))
0.0b	(+.f64 a (.f64 (.f64 1/2 (*.f64 a a)) eps))
0.0b	(.f64 1/2 (.f64 a a))
0.0b	(*.f64 eps (+.f64 a b))
2.6b	(+.f64 -1 (exp.f64 (*.f64 eps b)))
2.7b	(.f64 (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)) (+.f64 -1 (exp.f64 (*.f64 eps b))))
5.1b	(-.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)
5.8b	(.f64 (.f64 1/2 (*.f64 a a)) eps)

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
14×	`add-sqr-sqrt_binary64_782`
8×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
7×	`prod-exp_binary64_809` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-r_binary64_700` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
4×	`frac-times_binary64_770` `associate-l_binary64_701`
3×	`cancel-sign-sub-inv_binary64_726`
2×	`associate-l/_binary64_703` `distribute-lft-out_binary64_711` `difference-of-squares_binary64_729` `associate-r/_binary64_702` `*-commutative_binary64_691`
1×	`diff-log_binary64_852` `unswap-sqr_binary64_728` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `+-commutative_binary64_690` `sum-log_binary64_851` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 80

Calls

8 calls:

9.0ms	(.f64 (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)) (+.f64 -1 (exp.f64 (*.f64 eps b))))
9.0ms	(.f64 (.f64 1/2 (*.f64 a a)) eps)
8.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)
4.0ms	(+.f64 -1 (exp.f64 (*.f64 eps b)))
0.0ms	(*.f64 eps (+.f64 a b))

series435.0ms (0.4%)

Counts

4 → 39

Calls

4 calls:

244.0ms	(.f64 (+.f64 a (.f64 (.f64 1/2 (.f64 a a)) eps)) (+.f64 -1 (exp.f64 (*.f64 eps b))))
73.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)
71.0ms	(.f64 (.f64 1/2 (*.f64 a a)) eps)
45.0ms	(+.f64 -1 (exp.f64 (*.f64 eps b)))

Compiler

Compiled 2182 to 1669 computations (23.5% saved)

simplify99.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4959	2283
1	4959	2283

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (exp.f64 (*.f64 a eps)) 2)
0.0b	(+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0b	(+.f64 (exp.f64 (*.f64 a eps)) 1)
0.0b	(*.f64 (+.f64 a b) eps)
0.8b	(/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1))
1.0b	(.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a eps)) 2) -1) (+.f64 -1 (exp.f64 (*.f64 eps b))))
2.6b	(+.f64 -1 (exp.f64 (*.f64 eps b)))
3.3b	(+.f64 (pow.f64 (exp.f64 (*.f64 a eps)) 2) -1)

rewrite61.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`*-un-lft-identity_binary64_760`
36×	`add-sqr-sqrt_binary64_782`
32×	`times-frac_binary64_766`
28×	`difference-of-sqr--1_binary64_731`
20×	`add-cube-cbrt_binary64_795`
18×	`distribute-lft-out_binary64_711`
10×	`flip3-+_binary64_763` `flip-+_binary64_734`
8×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `associate-/l_binary64_705` `associate-l*_binary64_701`
7×	`sqr-pow_binary64_732` `unpow-prod-down_binary64_839`
6×	`pow1_binary64_821`
5×	`unpow-prod-up_binary64_838`
4×	`associate-/r_binary64_704` `frac-times_binary64_770` `associate-r*_binary64_700`
2×	`associate-l/_binary64_703` `unpow2_binary64_825` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `+-commutative_binary64_690` `sum-log_binary64_851` `associate-r/_binary64_702`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `prod-exp_binary64_809` `distribute-lft-in_binary64_709` `div-inv_binary64_757` `distribute-rgt-in_binary64_710` `cbrt-unprod_binary64_793` `div-exp_binary64_811` `clear-num_binary64_759` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 122

Calls

8 calls:

19.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1))
13.0ms	(.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a eps)) 2) -1) (+.f64 -1 (exp.f64 (*.f64 eps b))))
6.0ms	(+.f64 (pow.f64 (exp.f64 (*.f64 a eps)) 2) -1)
4.0ms	(+.f64 -1 (exp.f64 (*.f64 eps b)))
0.0ms	(*.f64 (+.f64 a b) eps)

series777.0ms (0.6%)

Counts

4 → 39

Calls

4 calls:

377.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps)) -1) (+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1))
253.0ms	(.f64 (+.f64 (pow.f64 (exp.f64 (.f64 a eps)) 2) -1) (+.f64 -1 (exp.f64 (*.f64 eps b))))
82.0ms	(+.f64 (pow.f64 (exp.f64 (*.f64 a eps)) 2) -1)
65.0ms	(+.f64 -1 (exp.f64 (*.f64 eps b)))

Compiler

Compiled 3629 to 2478 computations (31.7% saved)

simplify99.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5188	4854

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b	(pow.f64 (exp.f64 (+.f64 a b)) eps)
0.7b	(pow.f64 (exp.f64 (+.f64 a b)) eps)
0.2b	(+.f64 -1 (fabs.f64 (pow.f64 (exp.f64 (+.f64 a b)) eps)))
0.0b	(*.f64 eps (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))) 1) (/.f64 (+.f64 1 (pow.f64 (exp.f64 (+.f64 a b)) eps)) (+.f64 -1 (fabs.f64 (pow.f64 (exp.f64 (+.f64 a b)) eps))))))
0.7b	(pow.f64 (exp.f64 (+.f64 a b)) eps)
1.0b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (pow.f64 (-.f64 (exp.f64 (*.f64 b eps)) 1) 1))
2.6b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
3.3b	(-.f64 (exp.f64 (*.f64 a eps)) 1)

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_782`
26×	`*-un-lft-identity_binary64_760`
12×	`add-cube-cbrt_binary64_795` `unpow-prod-down_binary64_839`
11×	`associate-r_binary64_700`
9×	`add-exp-log_binary64_798`
8×	`add-log-exp_binary64_799` `difference-of-squares_binary64_729`
7×	`associate-l_binary64_701`
6×	`cancel-sign-sub-inv_binary64_726` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
5×	`pow-pow_binary64_832`
4×	`exp-prod_binary64_812` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712`
3×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `sqr-pow_binary64_732` `pow-unpow_binary64_837` `flip--_binary64_735` `flip3--_binary64_764`
2×	`diff-log_binary64_852` `associate-*l/_binary64_703` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `sub-neg_binary64_753`
1×	`distribute-lft-out_binary64_711` `exp-sum_binary64_806` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 94

Calls

8 calls:

13.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (pow.f64 (-.f64 (exp.f64 (*.f64 b eps)) 1) 1))
6.0ms	(pow.f64 (exp.f64 (+.f64 a b)) eps)
4.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
0.0ms	(*.f64 eps (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))) 1) (/.f64 (+.f64 1 (pow.f64 (exp.f64 (+.f64 a b)) eps)) (+.f64 -1 (fabs.f64 (pow.f64 (exp.f64 (+.f64 a b)) eps))))))

series516.0ms (0.4%)

Counts

4 → 43

Calls

4 calls:

201.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (pow.f64 (-.f64 (exp.f64 (*.f64 b eps)) 1) 1))
173.0ms	(pow.f64 (exp.f64 (+.f64 a b)) eps)
73.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
69.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)

Compiler

Compiled 3853 to 2534 computations (34.2% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4962	2357
1	4962	2357

prune26.7s (21.7%)

Pruning

526 alts after pruning (511 fresh and 15 done)

	Pruned	Kept	Total
New	325	123	448
Fresh	15	388	403
Picked	0	0	0
Done	0	15	15
Total	340	526	866

Error

0.0b

Counts

866 → 526

Compiler

Compiled 12822 to 5315 computations (58.5% saved)

simplify950.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4994	69335
1	4994	69335

regimes9.3s (7.5%)

Compiler: Compiled 108144 to 69171 computations (36% saved)

bsearch0.0ms (0%)

regimes65.0ms (0.1%)

Compiler: Compiled 54 to 102 computations (-88.9% saved)

bsearch240.0ms (0.2%)

Steps

Iters

Range

Point

5.378302567313638e-131

1.7921242808728104e-127

6.309301555959777e-131

-3.363169878116361e-136

-3.555126280331749e-141

-3.3352893089214074e-136

-7.881810397298111e-81

-1.2764162964695056e-90

-1.2920300215033907e-90

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes137.0ms (0.1%)

Compiler: Compiled 33 to 84 computations (-154.5% saved)

bsearch252.0ms (0.2%)

Steps

Iters	Range		Point
8	8.08982245866782e-11	2.0851709774475983e-08	2.862064489061603e-09
5	-1.3174708186308427e-88	-3.8226276010020154e-89	-1.2331491627376912e-88
7	-7.621202730378528e-83	-1.0649477410340524e-84	-1.2371476513752068e-83
8	-979360557212982.2	-2010121359762.445	-2471887616062.6514

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes33.0ms (0%)

Compiler: Compiled 24 to 69 computations (-187.5% saved)

bsearch68.0ms (0.1%)

Steps

Iters	Range		Point
9	1.704388303083709e+142	6.041729062877486e+150	1.9330188884813744e+143

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes25.0ms (0%)

Accuracy

Total 3.6b remaining (98.7%)

Threshold costs 0b (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch5.0ms (0%)

Compiler: Compiled 80 to 69 computations (13.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	59	105
1	59	105

end0.0ms (0%)

sample32.5s (26.3%)

Algorithm

1×

intervals

Results

3.1s	4031×	body	2048	valid
942.0ms	2392×	body	1024	valid
225.0ms	9745×	pre	128	true
209.0ms	428×	body	2048	overflowed
188.0ms	586×	body	1024	overflowed
185.0ms	744×	body	512	valid
62.0ms	294×	body	512	overflowed
45.0ms	579×	body	128	valid
37.0ms	246×	body	256	valid
22.0ms	303×	body	128	overflowed
18.0ms	133×	body	256	overflowed
14.0ms	8×	body	4096	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 36230 to 23214 computations (35.9% saved)

Pareto

0.35132025199989425