Details

analyze1.6s (2.2%)

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)

sample170.0ms (0.2%)

Algorithm

1×

intervals

Results

97.0ms	128×	body	2048	valid
26.0ms	74×	body	1024	valid
7.0ms	311×	pre	128	true
7.0ms	13×	body	2048	overflowed
7.0ms	21×	body	1024	overflowed
6.0ms	29×	body	512	valid
1.0ms	11×	body	256	valid
1.0ms	6×	body	512	overflowed
1.0ms	7×	body	256	overflowed
1.0ms	14×	body	128	valid
1.0ms	8×	body	128	overflowed

Compiler

Compiled 55 to 46 computations (16.4% saved)

simplify109.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5217	37

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

60.9b

Counts

2 → 1

Compiler

Compiled 24 to 19 computations (20.8% saved)

localize16.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	(exp.f64 (*.f64 a eps))
0.0b	(exp.f64 (*.f64 (+.f64 a b) eps))
0.0b	(*.f64 (+.f64 a b) eps)
0.2b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
4.0b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.3b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite35.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)
4.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series376.0ms (0.5%)

Counts

4 → 44

Calls

4 calls:

196.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)
55.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
54.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 2341 to 1783 computations (23.8% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4978	2853
1	4978	2853

prune778.0ms (1.1%)

Pruning

45 alts after pruning (44 fresh and 1 done)

	Pruned	Kept	Total
New	96	44	140
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	96	45	141

Error

46.4b

Counts

141 → 45

Compiler

Compiled 4530 to 2392 computations (47.2% saved)

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(exp.f64 (*.f64 (+.f64 a b) eps))
0.0b	(exp.f64 (*.f64 a eps))
0.0b	(*.f64 (+.f64 a b) eps)
0.0b	(.f64 1/2 (.f64 eps eps))
2.9b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (.f64 b (+.f64 eps (.f64 (.f64 1/2 (.f64 eps eps)) b)))))
4.0b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
7.8b	(.f64 (.f64 1/2 (*.f64 eps eps)) b)

rewrite49.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

8 calls:

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

series1.2s (1.7%)

Counts

4 → 41

Calls

4 calls:

1.0s	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (.f64 b (+.f64 eps (.f64 (.f64 1/2 (.f64 eps eps)) b)))))
85.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
76.0ms	(.f64 (.f64 1/2 (*.f64 eps eps)) b)
58.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 3712 to 2514 computations (32.3% saved)

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5025	3726

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(exp.f64 (*.f64 (+.f64 a b) eps))
0.0b	(*.f64 (+.f64 a b) eps)
6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
7.0b	(.f64 a (.f64 b (*.f64 eps eps)))
7.8b	(.f64 b (.f64 eps eps))
34.2b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 a (.f64 b (*.f64 eps eps))))

rewrite39.0ms (0.1%)

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:

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

series475.0ms (0.6%)

Counts

4 → 38

Calls

4 calls:

223.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)

simplify50.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5047	2066

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(exp.f64 (*.f64 a eps))
0.0b	(+.f64 (.f64 1/2 (.f64 eps eps)) (.f64 (.f64 1/6 (pow.f64 eps 3)) b))
0.0b	(.f64 1/2 (.f64 eps eps))
0.0b	(*.f64 (+.f64 a b) eps)
3.3b	(.f64 (.f64 1/6 (pow.f64 eps 3)) b)
4.0b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
14.6b	(.f64 (.f64 b b) (+.f64 (.f64 1/2 (.f64 eps eps)) (.f64 (.f64 1/6 (pow.f64 eps 3)) b)))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-exp-log_binary64_798`
17×	`add-sqr-sqrt_binary64_782`
14×	`*-un-lft-identity_binary64_760` `add-cbrt-cube_binary64_796`
11×	`pow1_binary64_821`
10×	`prod-exp_binary64_809`
8×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
6×	`cancel-sign-sub-inv_binary64_726` `associate-r_binary64_700` `cbrt-unprod_binary64_793`
4×	`difference-of-squares_binary64_729` `pow-prod-down_binary64_831`
2×	`diff-log_binary64_852` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `associate-l_binary64_701` `associate-r/_binary64_702` `sub-neg_binary64_753` `-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`
1×	`unswap-sqr_binary64_728` `flip3-+_binary64_763` `distribute-lft-in_binary64_709` `pow-exp_binary64_828` `distribute-rgt-in_binary64_710` `flip-+_binary64_734` `pow-to-exp_binary64_829`

Counts

4 → 78

Calls

8 calls:

13.0ms	(.f64 (.f64 b b) (+.f64 (.f64 1/2 (.f64 eps eps)) (.f64 (.f64 1/6 (pow.f64 eps 3)) b)))
7.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
6.0ms	(.f64 (.f64 1/6 (pow.f64 eps 3)) b)
5.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0ms	(*.f64 (+.f64 a b) eps)

series464.0ms (0.6%)

Counts

4 → 40

Calls

4 calls:

227.0ms	(.f64 (.f64 b b) (+.f64 (.f64 1/2 (.f64 eps eps)) (.f64 (.f64 1/6 (pow.f64 eps 3)) b)))
98.0ms	(.f64 (.f64 1/6 (pow.f64 eps 3)) b)
75.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
63.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 2663 to 1940 computations (27.1% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4947	2010
1	4947	2010

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
0.0b	(exp.f64 (*.f64 (+.f64 a b) eps))
0.0b	(exp.f64 (*.f64 a eps))
0.0b	(*.f64 (+.f64 a b) eps)
0.2b	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
1.2b	(pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))
4.0b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
4.3b	(-.f64 (exp.f64 (*.f64 b eps)) 1)

rewrite44.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64_782`
33×	`*-un-lft-identity_binary64_760`
17×	`add-cube-cbrt_binary64_795`
12×	`cancel-sign-sub-inv_binary64_726` `pow-unpow_binary64_837`
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×	`distribute-lft-out_binary64_711` `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×	`distribute-rgt-out_binary64_713`
2×	`diff-log_binary64_852` `associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `unpow-prod-up_binary64_838` `count-2_binary64_708` `distribute-rgt1-in_binary64_716` `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` `distribute-lft1-in_binary64_715` `*-commutative_binary64_691`

Counts

4 → 110

Calls

8 calls:

11.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
11.0ms	(pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))
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)

series525.0ms (0.7%)

Counts

4 → 43

Calls

4 calls:

206.0ms	(.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1))
192.0ms	(pow.f64 (exp.f64 (+.f64 a b)) (+.f64 eps eps))
66.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
60.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)

Compiler

Compiled 3103 to 2238 computations (27.9% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5185	2989

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(exp.f64 (*.f64 a eps))
0.0b	(*.f64 (+.f64 a b) eps)
0.0b	(sqrt.f64 (.f64 (+.f64 -1 (exp.f64 (.f64 b eps))) (+.f64 -1 (exp.f64 (*.f64 a eps)))))
0.0b	(sqrt.f64 (.f64 (+.f64 -1 (exp.f64 (.f64 b eps))) (+.f64 -1 (exp.f64 (*.f64 a eps)))))
4.0b	(+.f64 -1 (exp.f64 (*.f64 a eps)))
4.3b	(+.f64 -1 (exp.f64 (*.f64 b eps)))
4.3b	(+.f64 -1 (exp.f64 (*.f64 b eps)))
6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_760`
12×	`add-log-exp_binary64_799`
9×	`add-sqr-sqrt_binary64_782`
5×	`add-cube-cbrt_binary64_795`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
3×	`distribute-lft-out_binary64_711` `flip3-+_binary64_763` `cancel-sign-sub-inv_binary64_726` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851`
2×	`difference-of-squares_binary64_729`
1×	`diff-log_binary64_852` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 54

Calls

8 calls:

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

series217.0ms (0.3%)

Counts

4 → 31

Calls

4 calls:

73.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
51.0ms	(+.f64 -1 (exp.f64 (*.f64 b eps)))
50.0ms	(+.f64 -1 (exp.f64 (*.f64 b eps)))
42.0ms	(+.f64 -1 (exp.f64 (*.f64 a eps)))

Compiler

Compiled 2446 to 1703 computations (30.4% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4951	1082
1	4951	1082

prune11.6s (15.8%)

Pruning

245 alts after pruning (241 fresh and 4 done)

	Pruned	Kept	Total
New	413	203	616
Fresh	1	38	39
Picked	0	0	0
Done	2	4	6
Total	416	245	661

Error

0.0b

Counts

661 → 245

Compiler

Compiled 23899 to 12502 computations (47.7% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

12.6b	(/.f64 (+.f64 a b) (*.f64 a b))
12.6b	(/.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:

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

series109.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

109.0ms

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

Compiler

Compiled 102 to 126 computations (-23.5% saved)

simplify56.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5070	408

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

7.8b	(.f64 b (.f64 eps eps))
7.0b	(.f64 a (.f64 b (*.f64 eps eps)))
0.2b	(.f64 eps (.f64 eps (+.f64 a b)))
0.0b	(*.f64 eps (+.f64 a b))
0.2b	(.f64 eps (.f64 eps (+.f64 a b)))
7.0b	(.f64 a (.f64 b (*.f64 eps eps)))
7.8b	(.f64 b (.f64 eps eps))
35.2b	(/.f64 (.f64 eps (.f64 eps (+.f64 a b))) (.f64 a (.f64 b (*.f64 eps eps))))

rewrite45.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
42×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
23×	`pow1_binary64_821`
12×	`cbrt-undiv_binary64_794` `div-exp_binary64_811` `pow-prod-down_binary64_831`
9×	`associate-l_binary64_701`
8×	`associate-*r/_binary64_702` `add-sqr-sqrt_binary64_782`
7×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
4×	`distribute-lft-in_binary64_709` `add-log-exp_binary64_799` `distribute-rgt-in_binary64_710`
3×	`associate-r_binary64_700` `*-commutative_binary64_691`
2×	`flip3-+_binary64_763` `associate-/l/_binary64_707` `flip-+_binary64_734`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `associate-/r_binary64_704` `div-inv_binary64_757` `associate-/l_binary64_705` `clear-num_binary64_759` `times-frac_binary64_766`

Counts

4 → 103

Calls

8 calls:

14.0ms	(/.f64 (.f64 eps (.f64 eps (+.f64 a b))) (.f64 a (.f64 b (*.f64 eps eps))))
8.0ms	(.f64 b (.f64 eps eps))
7.0ms	(.f64 a (.f64 b (*.f64 eps eps)))
7.0ms	(.f64 eps (.f64 eps (+.f64 a b)))
0.0ms	(*.f64 eps (+.f64 a b))

series442.0ms (0.6%)

Counts

4 → 45

Calls

4 calls:

152.0ms	(/.f64 (.f64 eps (.f64 eps (+.f64 a b))) (.f64 a (.f64 b (*.f64 eps eps))))
119.0ms	(.f64 eps (.f64 eps (+.f64 a b)))
118.0ms	(.f64 a (.f64 b (*.f64 eps eps)))
53.0ms	(.f64 b (.f64 eps eps))

Compiler

Compiled 990 to 786 computations (20.6% saved)

simplify54.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5590	1715

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

1.5b	(.f64 (sqrt.f64 a) (.f64 (.f64 b (.f64 eps eps)) (sqrt.f64 a)))
0.0b	(.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1))
0.0b	(exp.f64 (*.f64 (+.f64 a b) eps))
0.0b	(*.f64 (+.f64 a b) eps)
2.3b	(.f64 (.f64 b (*.f64 eps eps)) (sqrt.f64 a))
6.7b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
7.8b	(.f64 b (.f64 eps eps))
15.6b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (sqrt.f64 a) (.f64 (.f64 b (.f64 eps eps)) (sqrt.f64 a))))

rewrite48.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
34×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
18×	`pow1_binary64_821`
13×	`add-sqr-sqrt_binary64_782`
11×	`*-un-lft-identity_binary64_760`
10×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
9×	`pow-prod-down_binary64_831`
8×	`add-cube-cbrt_binary64_795`
7×	`associate-r_binary64_700`
6×	`add-log-exp_binary64_799`
4×	`associate-l_binary64_701`
3×	`sqrt-prod_binary64_776` `cancel-sign-sub-inv_binary64_726`
2×	`associate-/l/_binary64_707` `difference-of-squares_binary64_729` `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 → 96

Calls

8 calls:

18.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (sqrt.f64 a) (.f64 (.f64 b (.f64 eps eps)) (sqrt.f64 a))))
8.0ms	(.f64 (.f64 b (*.f64 eps eps)) (sqrt.f64 a))
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)

series471.0ms (0.6%)

Counts

4 → 38

Calls

4 calls:

213.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (sqrt.f64 a) (.f64 (.f64 b (.f64 eps eps)) (sqrt.f64 a))))
127.0ms	(.f64 (.f64 b (*.f64 eps eps)) (sqrt.f64 a))
71.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)
59.0ms	(.f64 b (.f64 eps eps))

Compiler

Compiled 1666 to 1161 computations (30.3% saved)

simplify56.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5088	2372

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (+.f64 a b) eps)
0.0b	(*.f64 eps (+.f64 a b))
0.0b	(*.f64 eps (+.f64 a b))
0.0b	(+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)))
6.6b	(-.f64 (pow.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))
7.0b	(.f64 a (.f64 b (*.f64 eps eps)))
7.8b	(.f64 b (.f64 eps eps))
34.5b	(/.f64 (.f64 eps (-.f64 (pow.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))) (.f64 (.f64 a (.f64 b (.f64 eps eps))) (+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)))))

rewrite78.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
40×	`add-sqr-sqrt_binary64_782`
34×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
28×	`*-un-lft-identity_binary64_760`
24×	`difference-of-squares_binary64_729`
21×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
18×	`pow1_binary64_821`
12×	`cancel-sign-sub-inv_binary64_726`
11×	`sqr-pow_binary64_732`
10×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
9×	`add-cube-cbrt_binary64_795` `pow-prod-down_binary64_831`
6×	`add-log-exp_binary64_799` `distribute-lft-out--_binary64_712` `associate-l_binary64_701`
4×	`associate-*r/_binary64_702`
2×	`cube-mult_binary64_790` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `associate-r_binary64_700` `*-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `unswap-sqr_binary64_728` `frac-2neg_binary64_771` `flip3-+_binary64_763` `unpow3_binary64_826` `associate-/r_binary64_704` `div-inv_binary64_757` `flip-+_binary64_734` `associate-/l_binary64_705` `difference-cubes_binary64_762` `clear-num_binary64_759` `sub-neg_binary64_753` `times-frac_binary64_766`

Counts

4 → 131

Calls

8 calls:

31.0ms	(/.f64 (.f64 eps (-.f64 (pow.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))) (.f64 (.f64 a (.f64 b (.f64 eps eps))) (+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)))))
14.0ms	(-.f64 (pow.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))
7.0ms	(.f64 a (.f64 b (*.f64 eps eps)))
5.0ms	(.f64 b (.f64 eps eps))
0.0ms	(+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)))

series2.6s (3.5%)

Counts

4 → 40

Calls

4 calls:

2.1s	(/.f64 (.f64 eps (-.f64 (pow.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))) (.f64 (.f64 a (.f64 b (.f64 eps eps))) (+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)))))
242.0ms	(-.f64 (pow.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))
133.0ms	(.f64 a (.f64 b (*.f64 eps eps)))
66.0ms	(.f64 b (.f64 eps eps))

Compiler

Compiled 4801 to 2592 computations (46% saved)

simplify111.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5019	5408

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 1/2 (.f64 eps eps))
0.0b	(*.f64 eps (+.f64 b a))
0.0b	(*.f64 eps (+.f64 b a))
0.0b	(*.f64 eps (+.f64 b a))
6.7b	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
6.7b	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
6.7b	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
7.8b	(.f64 (.f64 1/2 (*.f64 eps eps)) b)

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_782`
17×	`*-un-lft-identity_binary64_760`
13×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
10×	`add-log-exp_binary64_799`
9×	`cancel-sign-sub-inv_binary64_726`
8×	`add-cube-cbrt_binary64_795`
6×	`prod-exp_binary64_809` `difference-of-squares_binary64_729` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
3×	`diff-log_binary64_852` `difference-of-sqr-1_binary64_730` `distribute-lft-out--_binary64_712` `associate-r_binary64_700` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`
1×	`associate-l_binary64_701` `*-commutative_binary64_691`

Counts

4 → 75

Calls

8 calls:

11.0ms	(.f64 (.f64 1/2 (*.f64 eps eps)) b)
5.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
5.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
5.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
0.0ms	(*.f64 eps (+.f64 b a))

series361.0ms (0.5%)

Counts

4 → 39

Calls

4 calls:

91.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
91.0ms	(.f64 (.f64 1/2 (*.f64 eps eps)) b)
89.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)
89.0ms	(-.f64 (exp.f64 (*.f64 eps (+.f64 b a))) 1)

Compiler

Compiled 3981 to 2580 computations (35.2% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4925	1640
1	4925	1640

prune13.6s (18.5%)

Pruning

413 alts after pruning (405 fresh and 8 done)

	Pruned	Kept	Total
New	430	174	604
Fresh	5	231	236
Picked	0	0	0
Done	1	8	9
Total	436	413	849

Error

Counts

849 → 413

Compiler

Compiled 25802 to 13558 computations (47.5% 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))

rewrite14.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))

series60.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

60.0ms

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

Compiler

Compiled 102 to 126 computations (-23.5% saved)

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

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 (+.f64 a b))
0.5b	(*.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (+.f64 a b)))
0.3b	(/.f64 (cbrt.f64 (+.f64 a b)) b)
0.2b	(/.f64 (*.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (+.f64 a b))) a)
0.6b	(cbrt.f64 (+.f64 a b))
0.6b	(cbrt.f64 (+.f64 a b))
0.6b	(cbrt.f64 (+.f64 a b))
8.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (+.f64 a b))) a) (/.f64 (cbrt.f64 (+.f64 a b)) b))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-sqr-sqrt_binary64_782`
35×	`*-un-lft-identity_binary64_760`
31×	`times-frac_binary64_766`
26×	`cbrt-prod_binary64_791`
25×	`add-exp-log_binary64_798` `associate-r_binary64_700`
23×	`add-cube-cbrt_binary64_795`
18×	`add-cbrt-cube_binary64_796`
8×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
7×	`cbrt-undiv_binary64_794` `associate-l_binary64_701` `div-exp_binary64_811`
6×	`unswap-sqr_binary64_728` `distribute-lft-out_binary64_711` `cbrt-div_binary64_792` `pow1_binary64_821`
4×	`add-log-exp_binary64_799`
3×	`pow1/3_binary64_842` `flip3-+_binary64_763` `flip-+_binary64_734`
2×	`div-inv_binary64_757`
1×	`associate-l/_binary64_703` `frac-times_binary64_770` `associate-r/_binary64_702` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 104

Calls

8 calls:

21.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (+.f64 a b))) a) (/.f64 (cbrt.f64 (+.f64 a b)) b))
3.0ms	(cbrt.f64 (+.f64 a b))
3.0ms	(cbrt.f64 (+.f64 a b))
3.0ms	(cbrt.f64 (+.f64 a b))
0.0ms	(/.f64 (*.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (+.f64 a b))) a)

series451.0ms (0.6%)

Counts

4 → 54

Calls

4 calls:

121.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (+.f64 a b))) a) (/.f64 (cbrt.f64 (+.f64 a b)) b))
111.0ms	(cbrt.f64 (+.f64 a b))
111.0ms	(cbrt.f64 (+.f64 a b))
107.0ms	(cbrt.f64 (+.f64 a b))

Compiler

Compiled 1902 to 1476 computations (22.4% saved)

simplify103.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4950	2746
1	4950	2746

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (.f64 eps a))) eps))
0.0b	(.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2))
0.0b	(+.f64 (.f64 eps (exp.f64 (.f64 eps a))) eps)
0.0b	(.f64 eps (exp.f64 (.f64 eps a)))
0.1b	(.f64 a (+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (*.f64 eps a))) eps)))
3.9b	(+.f64 (pow.f64 (exp.f64 (*.f64 eps a)) 3) -1)
5.9b	(.f64 b (.f64 a (+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (.f64 eps a))) eps))))
20.3b	(/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 eps a)) 3) -1) (.f64 b (.f64 a (+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (*.f64 eps a))) eps)))))

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `add-sqr-sqrt_binary64_782`
15×	`*-un-lft-identity_binary64_760`
12×	`difference-of-sqr--1_binary64_731`
11×	`pow1_binary64_821`
10×	`associate-*r/_binary64_702`
9×	`add-cube-cbrt_binary64_795`
8×	`associate-/l*_binary64_705` `times-frac_binary64_766`
7×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
6×	`add-log-exp_binary64_799` `associate-l_binary64_701`
5×	`flip3-+_binary64_763` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `flip-+_binary64_734`
4×	`associate-r_binary64_700` `pow-prod-down_binary64_831`
3×	`cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `sqr-pow_binary64_732` `cube-prod_binary64_788` `div-exp_binary64_811` `unpow-prod-down_binary64_839`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707` `*-commutative_binary64_691`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `associate-/r*_binary64_704` `div-inv_binary64_757` `+-commutative_binary64_690` `sum-log_binary64_851` `clear-num_binary64_759`

Counts

4 → 99

Calls

8 calls:

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

series1.6s (2.2%)

Counts

4 → 42

Calls

4 calls:

844.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 eps a)) 3) -1) (.f64 b (.f64 a (+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (*.f64 eps a))) eps)))))
439.0ms	(.f64 b (.f64 a (+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (.f64 eps a))) eps))))
229.0ms	(.f64 a (+.f64 (.f64 eps (pow.f64 (exp.f64 (.f64 eps a)) 2)) (+.f64 (.f64 eps (exp.f64 (*.f64 eps a))) eps)))
86.0ms	(+.f64 (pow.f64 (exp.f64 (*.f64 eps a)) 3) -1)

Compiler

Compiled 1988 to 1398 computations (29.7% saved)

simplify91.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5045	4632

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 eps (+.f64 a b))
0.0b	(*.f64 eps (+.f64 a b))
0.0b	(+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (*.f64 eps (+.f64 a b))) 1)))
0.0b	(*.f64 (+.f64 a b) eps)
7.8b	(.f64 b (.f64 eps eps))
17.2b	(/.f64 (.f64 eps (-.f64 (pow.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))) (.f64 (.f64 a (.f64 (sqrt.f64 (.f64 b (.f64 eps eps))) (sqrt.f64 (.f64 b (.f64 eps eps))))) (+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (.f64 eps (+.f64 a b))) 1)))))
29.1b	(sqrt.f64 (.f64 b (.f64 eps eps)))
29.1b	(sqrt.f64 (.f64 b (.f64 eps eps)))

rewrite68.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
21×	`pow1_binary64_821`
19×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
9×	`pow-prod-down_binary64_831`
8×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
6×	`sqrt-pow1_binary64_778` `add-sqr-sqrt_binary64_782`
5×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
4×	`add-log-exp_binary64_799` `associate-*r/_binary64_702`
3×	`associate-l_binary64_701`
2×	`associate-/r/_binary64_706` `sqrt-prod_binary64_776` `associate-/l/_binary64_707` `pow1/2_binary64_840`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `flip3-+_binary64_763` `associate-/r_binary64_704` `div-inv_binary64_757` `flip-+_binary64_734` `associate-/l_binary64_705` `associate-r_binary64_700` `clear-num_binary64_759` `times-frac_binary64_766` `*-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 76

Calls

8 calls:

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

series2.4s (3.3%)

Counts

4 → 30

Calls

4 calls:

2.2s	(/.f64 (.f64 eps (-.f64 (pow.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 3) (pow.f64 1 3))) (.f64 (.f64 a (.f64 (sqrt.f64 (.f64 b (.f64 eps eps))) (sqrt.f64 (.f64 b (.f64 eps eps))))) (+.f64 1 (.f64 (exp.f64 (.f64 eps (+.f64 a b))) (+.f64 (exp.f64 (.f64 eps (+.f64 a b))) 1)))))
65.0ms	(.f64 b (.f64 eps eps))
64.0ms	(sqrt.f64 (.f64 b (.f64 eps eps)))
64.0ms	(sqrt.f64 (.f64 b (.f64 eps eps)))

Compiler

Compiled 4538 to 2382 computations (47.5% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4975	3650
1	4975	3650

prune17.6s (23.9%)

Pruning

562 alts after pruning (549 fresh and 13 done)

	Pruned	Kept	Total
New	276	160	436
Fresh	11	389	400
Picked	0	0	0
Done	0	13	13
Total	287	562	849

Error

Counts

849 → 562

Compiler

Compiled 9208 to 3370 computations (63.4% saved)

simplify797.0ms (1.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (157.0ms)

Iter	Nodes	Cost
0	4774	52991
1	4774	52991

regimes6.7s (9.1%)

Compiler: Compiled 76164 to 47457 computations (37.7% saved)

bsearch0.0ms (0%)

regimes63.0ms (0.1%)

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

bsearch236.0ms (0.3%)

Steps

Iters

Range

Point

5.42816957920623e-107

2.6475402952996014e-101

6.309638141211083e-107

5.997480088246326e-148

2.611321216166156e-143

1.2536815477017208e-145

-4.836851465787707e-116

-6.036468710548758e-120

-1.1051454215971253e-119

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes138.0ms (0.2%)

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

bsearch244.0ms (0.3%)

Steps

Iters	Range		Point
7	1.610456584447406e+78	4.446668459506884e+79	1.6276863144420978e+78
7	4.7764791598726274e+23	1.5820676724072185e+25	2.4405151995062135e+24
9	5.749879842571002e-65	2.0678909870346308e-57	3.807625924873168e-58
5	-1.2025913689995005e-110	-5.121110705915944e-111	-7.675712136404333e-111

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0%)

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

bsearch0.0ms (0%)

regimes27.0ms (0%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch5.0ms (0%)

Compiler: Compiled 75 to 65 computations (13.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	55	98
1	55	98

end0.0ms (0%)

sample6.0s (8.1%)

Algorithm

1×

intervals

Results

3.1s	4176×	body	2048	valid
867.0ms	2317×	body	1024	valid
228.0ms	9728×	pre	128	true
189.0ms	631×	body	1024	overflowed
187.0ms	401×	body	2048	overflowed
169.0ms	738×	body	512	valid
57.0ms	279×	body	512	overflowed
37.0ms	525×	body	128	valid
32.0ms	228×	body	256	valid
19.0ms	293×	body	128	overflowed
18.0ms	16×	body	4096	valid
17.0ms	118×	body	256	overflowed
6.0ms	6×	body	2048	invalid

Compiler

Compiled 25560 to 15968 computations (37.5% saved)