Details

analyze7.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample82.0ms (0.1%)

Algorithm

1×

intervals

Results

51.0ms	122×	body	1024	valid
15.0ms	67×	body	512	valid
5.0ms	38×	body	256	valid
4.0ms	7×	body	2048	valid
1.0ms	22×	body	128	valid

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify255.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (160.0ms)

Iter	Nodes	Cost
0	5283	12

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

57.9b

Counts

2 → 1

Compiler

Compiled 8 to 7 computations (12.5% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

6.6b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
6.6b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64_760`
52×	`add-sqr-sqrt_binary64_782`
48×	`times-frac_binary64_766`
30×	`log-prod_binary64_846`
25×	`add-cube-cbrt_binary64_795`
18×	`difference-of-squares_binary64_729`
13×	`distribute-lft-out_binary64_711`
9×	`distribute-lft-out--_binary64_712`
7×	`add-exp-log_binary64_798`
6×	`associate-/l*_binary64_705`
4×	`associate-/r/_binary64_706` `associate-/r*_binary64_704` `add-cbrt-cube_binary64_796`
3×	`pow1_binary64_821`
2×	`flip3-+_binary64_763` `associate-/l/_binary64_707` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `rem-log-exp_binary64_801` `div-exp_binary64_811`
1×	`log-div_binary64_847` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `log-pow_binary64_849` `div-sub_binary64_765` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 92

Calls

4 calls:

9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
8.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

series60.0ms (0%)

Counts

2 → 14

Calls

2 calls:

39.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
21.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 161 to 155 computations (3.7% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5400	1921

prune382.0ms (0.3%)

Pruning

58 alts after pruning (57 fresh and 1 done)

	Pruned	Kept	Total
New	49	57	106
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	49	58	107

Error

0.0b

Counts

107 → 58

Compiler

Compiled 1970 to 1588 computations (19.4% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (pow.f64 eps 3) 2/3)
0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.0b	(-.f64 (-.f64 (.f64 eps -2) (.f64 (pow.f64 eps 3) 2/3)) (*.f64 2/5 (pow.f64 eps 5)))
0.0b	(-.f64 (-.f64 (.f64 eps -2) (.f64 (pow.f64 eps 3) 2/3)) (*.f64 2/5 (pow.f64 eps 5)))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.2b	(*.f64 (pow.f64 eps 3) 2/3)

rewrite33.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_782`
19×	`add-exp-log_binary64_798`
18×	`associate-l_binary64_701`
17×	`associate-r_binary64_700`
14×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
12×	`unpow-prod-down_binary64_839`
10×	`unswap-sqr_binary64_728` `add-cbrt-cube_binary64_796`
9×	`prod-exp_binary64_809` `add-log-exp_binary64_799`
6×	`sqr-pow_binary64_732`
4×	`cube-prod_binary64_788` `pow1_binary64_821`
3×	`diff-log_binary64_852` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
2×	`cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697` `sub-neg_binary64_753`
1×	`cube-mult_binary64_790` `associate--l-_binary64_698` `unpow3_binary64_826` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 97

Calls

8 calls:

7.0ms	(-.f64 (-.f64 (.f64 eps -2) (.f64 (pow.f64 eps 3) 2/3)) (*.f64 2/5 (pow.f64 eps 5)))
6.0ms	(*.f64 (pow.f64 eps 3) 2/3)
5.0ms	(*.f64 2/5 (pow.f64 eps 5))
5.0ms	(*.f64 2/7 (pow.f64 eps 7))
0.0ms	(-.f64 (-.f64 (.f64 eps -2) (.f64 (pow.f64 eps 3) 2/3)) (*.f64 2/5 (pow.f64 eps 5)))

series183.0ms (0.1%)

Counts

4 → 14

Calls

4 calls:

56.0ms	(-.f64 (-.f64 (.f64 eps -2) (.f64 (pow.f64 eps 3) 2/3)) (*.f64 2/5 (pow.f64 eps 5)))
53.0ms	(*.f64 2/7 (pow.f64 eps 7))
38.0ms	(*.f64 2/5 (pow.f64 eps 5))
36.0ms	(*.f64 (pow.f64 eps 3) 2/3)

Compiler

Compiled 505 to 436 computations (13.7% saved)

simplify54.0ms (0%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5041	1369

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

6.6b	(log.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
6.6b	(log.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

79×	`*-un-lft-identity_binary64_760`
53×	`add-sqr-sqrt_binary64_782`
48×	`times-frac_binary64_766`
34×	`log-prod_binary64_846`
30×	`unpow-prod-down_binary64_839`
26×	`add-cube-cbrt_binary64_795`
18×	`difference-of-squares_binary64_729`
13×	`distribute-lft-out_binary64_711`
9×	`distribute-lft-out--_binary64_712`
8×	`add-exp-log_binary64_798`
6×	`associate-/l*_binary64_705`
4×	`associate-/r/_binary64_706` `associate-/r*_binary64_704` `add-cbrt-cube_binary64_796` `rem-log-exp_binary64_801`
2×	`flip3-+_binary64_763` `associate-/l/_binary64_707` `add-log-exp_binary64_799` `pow-exp_binary64_828` `div-inv_binary64_757` `flip-+_binary64_734` `div-exp_binary64_811` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `pow-to-exp_binary64_829` `log-pow_binary64_849` `div-sub_binary64_765` `sqr-pow_binary64_732` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 97

Calls

4 calls:

11.0ms	(log.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(log.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1))

series61.0ms (0%)

Counts

2 → 14

Calls

2 calls:

38.0ms	(log.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1))
23.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 181 to 175 computations (3.3% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5174	2004

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
0.0b	(sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
6.6b	(log.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))

rewrite123.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

342×	`*-un-lft-identity_binary64_760`
208×	`add-sqr-sqrt_binary64_782`
200×	`times-frac_binary64_766`
182×	`sqrt-prod_binary64_776`
84×	`add-cube-cbrt_binary64_795`
60×	`difference-of-squares_binary64_729`
59×	`swap-sqr_binary64_727`
58×	`distribute-lft-out_binary64_711`
42×	`distribute-lft-out--_binary64_712`
35×	`pow1_binary64_821`
33×	`associate-r_binary64_700` `associate-l_binary64_701`
16×	`sqrt-pow1_binary64_778` `pow1/2_binary64_840`
14×	`log-pow_binary64_849`
13×	`add-exp-log_binary64_798`
12×	`associate-/r/_binary64_706` `associate-/l*_binary64_705`
10×	`add-cbrt-cube_binary64_796` `pow-prod-up_binary64_830`
9×	`unswap-sqr_binary64_728`
8×	`associate-/r*_binary64_704` `sqrt-div_binary64_777`
6×	`flip3-+_binary64_763` `pow-sqr_binary64_733` `div-inv_binary64_757` `flip-+_binary64_734` `pow-prod-down_binary64_831`
4×	`rem-sqrt-square_binary64_773` `associate-/l/_binary64_707` `add-log-exp_binary64_799`
3×	`log-div_binary64_847`
2×	`pow2_binary64_841` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `associate-l/_binary64_703` `prod-exp_binary64_809` `pow-plus_binary64_823` `sqr-abs_binary64_775` `frac-times_binary64_770` `div-sub_binary64_765` `associate-r/_binary64_702` `rem-log-exp_binary64_801` `div-exp_binary64_811` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`
1×	`rem-square-sqrt_binary64_772` `sqrt-unprod_binary64_780` `cbrt-unprod_binary64_793` `*-commutative_binary64_691` `log-prod_binary64_846`

Counts

4 → 293

Calls

8 calls:

47.0ms	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
21.0ms	(log.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

series124.0ms (0.1%)

Counts

4 → 30

Calls

4 calls:

48.0ms	(log.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))
26.0ms	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
25.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
24.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 541 to 491 computations (9.2% saved)

simplify125.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

323 → 323

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4941	5832
1	4941	5832

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
6.6b	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))

rewrite136.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

342×	`*-un-lft-identity_binary64_760`
198×	`times-frac_binary64_766` `add-sqr-sqrt_binary64_782`
180×	`cbrt-prod_binary64_791`
84×	`add-cube-cbrt_binary64_795`
60×	`difference-of-squares_binary64_729`
58×	`distribute-lft-out_binary64_711`
57×	`swap-sqr_binary64_727`
42×	`distribute-lft-out--_binary64_712`
33×	`associate-r_binary64_700` `associate-l_binary64_701`
31×	`pow1_binary64_821`
16×	`add-exp-log_binary64_798` `cbrt-div_binary64_792`
15×	`pow1/3_binary64_842` `log-pow_binary64_849`
12×	`associate-/r/_binary64_706` `associate-/l*_binary64_705`
11×	`pow-prod-up_binary64_830`
9×	`unswap-sqr_binary64_728`
8×	`associate-/r*_binary64_704` `add-cbrt-cube_binary64_796`
7×	`log-div_binary64_847` `pow-plus_binary64_823` `pow-prod-down_binary64_831`
6×	`associate-*l/_binary64_703` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `frac-times_binary64_770`
5×	`pow-sqr_binary64_733`
4×	`prod-exp_binary64_809` `associate-/l/_binary64_707` `add-log-exp_binary64_799` `associate-*r/_binary64_702`
3×	`pow2_binary64_841` `rem-log-exp_binary64_801`
2×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-sub_binary64_765` `div-exp_binary64_811` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`
1×	`pow3_binary64_843` `cbrt-unprod_binary64_793` `*-commutative_binary64_691` `log-prod_binary64_846`

Counts

4 → 288

Calls

8 calls:

46.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
31.0ms	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
8.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))

series153.0ms (0.1%)

Counts

4 → 30

Calls

4 calls:

54.0ms	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))
40.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
30.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
28.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 811 to 701 computations (13.6% saved)

simplify122.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

318 → 318

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5626	7786

prune11.1s (8.6%)

Pruning

273 alts after pruning (268 fresh and 5 done)

	Pruned	Kept	Total
New	641	222	863
Fresh	6	46	52
Picked	0	0	0
Done	1	5	6
Total	648	273	921

Error

0.0b

Counts

921 → 273

Compiler

Compiled 20461 to 16423 computations (19.7% saved)

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (pow.f64 eps 3) -2/3)
0.1b	(*.f64 (pow.f64 eps 5) -2/5)
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.0b	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (pow.f64 eps 3) -2/3))
0.0b	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (pow.f64 eps 3) -2/3))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.1b	(*.f64 (pow.f64 eps 5) -2/5)
0.2b	(*.f64 (pow.f64 eps 3) -2/3)

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_782`
22×	`associate-l_binary64_701`
19×	`add-exp-log_binary64_798`
14×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
13×	`associate-r_binary64_700`
12×	`unpow-prod-down_binary64_839`
10×	`unswap-sqr_binary64_728` `add-cbrt-cube_binary64_796`
9×	`prod-exp_binary64_809`
6×	`add-log-exp_binary64_799` `sqr-pow_binary64_732`
4×	`cube-prod_binary64_788` `pow1_binary64_821`
3×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
1×	`cube-mult_binary64_790` `flip3-+_binary64_763` `unpow3_binary64_826` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851`

Counts

4 → 92

Calls

8 calls:

6.0ms	(*.f64 (pow.f64 eps 3) -2/3)
6.0ms	(*.f64 2/7 (pow.f64 eps 7))
5.0ms	(*.f64 (pow.f64 eps 5) -2/5)
5.0ms	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (pow.f64 eps 3) -2/3))
0.0ms	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (pow.f64 eps 3) -2/3))

series222.0ms (0.2%)

Counts

4 → 15

Calls

4 calls:

97.0ms	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (pow.f64 eps 3) -2/3))
48.0ms	(*.f64 2/7 (pow.f64 eps 7))
46.0ms	(*.f64 (pow.f64 eps 5) -2/5)
31.0ms	(*.f64 (pow.f64 eps 3) -2/3)

Compiler

Compiled 555 to 477 computations (14.1% saved)

simplify54.0ms (0%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5165	1198

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:

6.6b	(log.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)) 1))
0.0b	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)
6.6b	(log.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)) 1))

rewrite96.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

260×	`*-un-lft-identity_binary64_760`
174×	`add-sqr-sqrt_binary64_782`
168×	`times-frac_binary64_766`
159×	`unpow-prod-down_binary64_839`
132×	`cbrt-prod_binary64_791`
90×	`cube-prod_binary64_788`
87×	`add-cube-cbrt_binary64_795`
73×	`log-prod_binary64_846`
58×	`difference-of-squares_binary64_729`
43×	`distribute-lft-out_binary64_711`
29×	`distribute-lft-out--_binary64_712`
14×	`associate-/r/_binary64_706`
11×	`add-exp-log_binary64_798`
9×	`add-cbrt-cube_binary64_796`
7×	`flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734`
6×	`associate-/l*_binary64_705`
5×	`pow1_binary64_821`
4×	`associate-/r*_binary64_704` `add-log-exp_binary64_799` `sqr-pow_binary64_732`
3×	`cube-mult_binary64_790` `unpow3_binary64_826` `pow-exp_binary64_828` `rem-log-exp_binary64_801` `pow-unpow_binary64_837`
2×	`cbrt-undiv_binary64_794` `associate-/l/_binary64_707` `rem-cube-cbrt_binary64_783` `pow-to-exp_binary64_829` `cube-div_binary64_789` `div-exp_binary64_811`
1×	`pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `frac-2neg_binary64_771` `log-pow_binary64_849` `div-sub_binary64_765` `cbrt-div_binary64_792` `clear-num_binary64_759` `flip--_binary64_735` `pow-pow_binary64_832` `flip3--_binary64_764`

Counts

4 → 291

Calls

8 calls:

24.0ms	(log.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)) 1))
13.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
13.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3))
12.0ms	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)
0.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

series116.0ms (0.1%)

Counts

4 → 30

Calls

4 calls:

37.0ms	(log.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)) 1))
32.0ms	(pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3)
24.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
22.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 3))

Compiler

Compiled 441 to 431 computations (2.3% saved)

simplify110.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

321 → 321

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4995	6374
1	4995	6374

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3)))))))
0.0b	(-.f64 (*.f64 eps eps) (+.f64 eps (pow.f64 eps 3)))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
0.0b	(cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3))))))
6.6b	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3))))))))

rewrite130.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

302×	`*-un-lft-identity_binary64_760`
183×	`cbrt-prod_binary64_791`
174×	`times-frac_binary64_766`
172×	`add-sqr-sqrt_binary64_782`
73×	`add-cube-cbrt_binary64_795`
57×	`swap-sqr_binary64_727`
51×	`distribute-lft-out_binary64_711`
50×	`difference-of-squares_binary64_729`
37×	`distribute-lft-out--_binary64_712`
33×	`associate-r_binary64_700` `associate-l_binary64_701`
26×	`cbrt-div_binary64_792`
17×	`pow1_binary64_821`
14×	`add-exp-log_binary64_798`
11×	`log-div_binary64_847`
10×	`pow1/3_binary64_842` `associate-/r/_binary64_706` `flip3-+_binary64_763` `flip-+_binary64_734` `frac-times_binary64_770`
9×	`unswap-sqr_binary64_728`
7×	`associate-*l/_binary64_703` `pow-prod-down_binary64_831`
6×	`add-cbrt-cube_binary64_796` `associate-/l_binary64_705` `associate-r/_binary64_702`
5×	`div-inv_binary64_757`
4×	`prod-exp_binary64_809` `associate-/r*_binary64_704` `add-log-exp_binary64_799` `log-pow_binary64_849`
3×	`rem-log-exp_binary64_801`
2×	`associate-/l/_binary64_707` `pow-sqr_binary64_733` `pow-prod-up_binary64_830`
1×	`pow2_binary64_841` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `pow-plus_binary64_823` `div-sub_binary64_765` `cbrt-unprod_binary64_793` `div-exp_binary64_811` `clear-num_binary64_759` `*-commutative_binary64_691` `flip--_binary64_735` `log-prod_binary64_846` `flip3--_binary64_764`

Counts

4 → 243

Calls

8 calls:

42.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
30.0ms	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3))))))))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
3.0ms	(cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3))))))
0.0ms	(-.f64 (*.f64 eps eps) (+.f64 eps (pow.f64 eps 3)))

series201.0ms (0.2%)

Counts

4 → 27

Calls

4 calls:

76.0ms	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))) (cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3))))))))
50.0ms	(cbrt.f64 (+.f64 1 (.f64 2 (-.f64 (.f64 eps eps) (+.f64 eps (pow.f64 eps 3))))))
42.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
33.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 968 to 819 computations (15.4% saved)

simplify145.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4952	8172
1	4952	8172

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.0b	(-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))
0.0b	(-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))
0.1b	(*.f64 2/5 (pow.f64 eps 5))
0.2b	(*.f64 2/3 (pow.f64 eps 3))
0.2b	(*.f64 2/3 (pow.f64 eps 3))
0.3b	(.f64 (sqrt.f64 (-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (.f64 2/5 (pow.f64 eps 5)))) (sqrt.f64 (-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`add-sqr-sqrt_binary64_782`
37×	`associate-r_binary64_700`
23×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
21×	`add-exp-log_binary64_798`
19×	`pow1_binary64_821`
18×	`sqrt-prod_binary64_776`
15×	`unswap-sqr_binary64_728` `associate-l_binary64_701`
12×	`sqrt-div_binary64_777` `add-cbrt-cube_binary64_796` `unpow-prod-down_binary64_839`
10×	`prod-exp_binary64_809`
8×	`sqrt-pow1_binary64_778` `swap-sqr_binary64_727` `pow1/2_binary64_840` `cube-prod_binary64_788`
6×	`sqr-pow_binary64_732` `flip--_binary64_735` `flip3--_binary64_764`
5×	`pow-prod-up_binary64_830`
4×	`add-log-exp_binary64_799` `frac-times_binary64_770` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
3×	`pow-sqr_binary64_733` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `pow-prod-down_binary64_831`
2×	`cube-mult_binary64_790` `rem-sqrt-square_binary64_773` `associate-l/_binary64_703` `unpow3_binary64_826` `associate-r/_binary64_702`
1×	`pow2_binary64_841` `rem-square-sqrt_binary64_772` `pow-plus_binary64_823` `sqr-abs_binary64_775` `sqrt-unprod_binary64_780`

Counts

4 → 145

Calls

8 calls:

18.0ms	(.f64 (sqrt.f64 (-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (.f64 2/5 (pow.f64 eps 5)))) (sqrt.f64 (-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))))
7.0ms	(*.f64 2/3 (pow.f64 eps 3))
7.0ms	(*.f64 2/3 (pow.f64 eps 3))
6.0ms	(*.f64 2/5 (pow.f64 eps 5))
0.0ms	(-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))

series150.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

47.0ms	(*.f64 2/5 (pow.f64 eps 5))
38.0ms	(*.f64 2/3 (pow.f64 eps 3))
34.0ms	(*.f64 2/3 (pow.f64 eps 3))
30.0ms	(.f64 (sqrt.f64 (-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (.f64 2/5 (pow.f64 eps 5)))) (sqrt.f64 (-.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))))

Compiler

Compiled 803 to 684 computations (14.8% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5311	2841

prune21.0s (16.4%)

Pruning

468 alts after pruning (459 fresh and 9 done)

	Pruned	Kept	Total
New	636	219	855
Fresh	23	240	263
Picked	0	0	0
Done	1	9	10
Total	660	468	1128

Error

0.0b

Counts

1128 → 468

Compiler

Compiled 29690 to 23808 computations (19.8% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 eps eps) (*.f64 eps -2/3))
0.1b	(*.f64 (pow.f64 eps 5) -2/5)
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.0b	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (.f64 eps eps) (.f64 eps -2/3)))
0.1b	(*.f64 2/7 (pow.f64 eps 7))
0.1b	(*.f64 (pow.f64 eps 5) -2/5)
0.1b	(.f64 (.f64 eps eps) (*.f64 eps -2/3))
0.3b	(*.f64 eps -2/3)

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-exp-log_binary64_798`
24×	`add-sqr-sqrt_binary64_782`
22×	`add-cbrt-cube_binary64_796`
18×	`pow1_binary64_821`
15×	`prod-exp_binary64_809`
14×	`associate-r_binary64_700` `associate-l_binary64_701`
12×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
11×	`cbrt-unprod_binary64_793`
9×	`pow-prod-down_binary64_831`
8×	`unpow-prod-down_binary64_839`
7×	`unswap-sqr_binary64_728`
4×	`add-log-exp_binary64_799` `sqr-pow_binary64_732` `*-commutative_binary64_691`
2×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`

Counts

4 → 90

Calls

8 calls:

7.0ms	(.f64 (.f64 eps eps) (*.f64 eps -2/3))
6.0ms	(*.f64 2/7 (pow.f64 eps 7))
5.0ms	(*.f64 (pow.f64 eps 5) -2/5)
4.0ms	(*.f64 eps -2/3)
0.0ms	(+.f64 (.f64 (pow.f64 eps 5) -2/5) (.f64 (.f64 eps eps) (.f64 eps -2/3)))

series143.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

52.0ms	(*.f64 2/7 (pow.f64 eps 7))
36.0ms	(*.f64 (pow.f64 eps 5) -2/5)
33.0ms	(.f64 (.f64 eps eps) (*.f64 eps -2/3))
21.0ms	(*.f64 eps -2/3)

Compiler

Compiled 540 to 432 computations (20% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4873	883
1	4873	883

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

6.6b	(log.f64 (+.f64 1 (*.f64 eps -2)))
6.6b	(log.f64 (+.f64 1 (*.f64 eps -2)))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`log-prod_binary64_846`
2×	`log-div_binary64_847` `*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`
1×	`flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `add-cbrt-cube_binary64_796` `log-pow_binary64_849` `rem-log-exp_binary64_801`

Counts

1 → 14

Calls

2 calls:

3.0ms	(log.f64 (+.f64 1 (*.f64 eps -2)))
0.0ms	(log.f64 (+.f64 1 (*.f64 eps -2)))

series21.0ms (0%)

Counts

1 → 4

Calls

1 calls:

21.0ms

(log.f64 (+.f64 1 (*.f64 eps -2)))

Compiler

Compiled 74 to 69 computations (6.8% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4807	241
1	4807	241

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps))))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
0.0b	(/.f64 eps (+.f64 1 eps))
0.0b	(/.f64 1 (+.f64 1 eps))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0b	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps)))))
0.0b	(-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps)))
6.6b	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps))))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))

rewrite186.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

167×	`*-un-lft-identity_binary64_760`
117×	`add-sqr-sqrt_binary64_782`
104×	`times-frac_binary64_766`
60×	`cbrt-prod_binary64_791`
49×	`cbrt-div_binary64_792`
42×	`add-cube-cbrt_binary64_795`
33×	`associate-l_binary64_701`
30×	`difference-of-squares_binary64_729`
26×	`distribute-lft-out_binary64_711` `associate-r_binary64_700`
25×	`distribute-lft-out--_binary64_712`
21×	`frac-times_binary64_770`
19×	`log-div_binary64_847`
18×	`cancel-sign-sub-inv_binary64_726`
15×	`div-inv_binary64_757`
14×	`associate-/r/_binary64_706` `add-exp-log_binary64_798`
13×	`associate-*r/_binary64_702`
12×	`associate-*l/_binary64_703` `pow1_binary64_821` `distribute-rgt-out--_binary64_714`
8×	`flip--_binary64_735` `flip3--_binary64_764`
7×	`flip3-+_binary64_763` `flip-+_binary64_734` `frac-sub_binary64_769` `sub-div_binary64_767` `pow-prod-down_binary64_831`
6×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `associate-/l*_binary64_705`
5×	`pow1/3_binary64_842`
4×	`prod-exp_binary64_809` `associate-/r*_binary64_704` `log-pow_binary64_849`
3×	`rem-log-exp_binary64_801`
2×	`associate-/l/_binary64_707`
1×	`diff-log_binary64_852` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-sub_binary64_765` `cbrt-unprod_binary64_793` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753` `*-commutative_binary64_691` `log-prod_binary64_846`

Counts

4 → 222

Calls

8 calls:

61.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps)))))
52.0ms	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps))))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))
27.0ms	(-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps)))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(/.f64 1 (+.f64 1 eps))

series218.0ms (0.2%)

Counts

4 → 30

Calls

4 calls:

106.0ms	(log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps))))) (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))
48.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (cbrt.f64 (-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps)))))
35.0ms	(-.f64 (/.f64 1 (+.f64 1 eps)) (/.f64 eps (+.f64 1 eps)))
29.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 859 to 739 computations (14% saved)

simplify129.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

252 → 252

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4935	5646
1	4935	5646

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (pow.f64 eps 10) -4/25)
0.0b	(.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (-.f64 (.f64 eps -2) (*.f64 2/3 (pow.f64 eps 3))))
0.0b	(+.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5)))
0.0b	(+.f64 (.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3)))) (.f64 (pow.f64 eps 10) -4/25))
0.2b	(*.f64 2/3 (pow.f64 eps 3))
0.2b	(*.f64 2/3 (pow.f64 eps 3))
0.2b	(*.f64 2/3 (pow.f64 eps 3))
27.1b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3)))) (.f64 (pow.f64 eps 10) -4/25)) (+.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5))))

rewrite60.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64_782`
36×	`associate-r_binary64_700`
24×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
21×	`add-exp-log_binary64_798`
12×	`unswap-sqr_binary64_728` `add-cbrt-cube_binary64_796` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
9×	`prod-exp_binary64_809` `associate-l_binary64_701` `times-frac_binary64_766`
6×	`sqr-pow_binary64_732`
4×	`add-log-exp_binary64_799` `pow1_binary64_821`
3×	`cube-mult_binary64_790` `unpow3_binary64_826` `associate-/r_binary64_704` `pow-exp_binary64_828` `associate-/l_binary64_705` `pow-to-exp_binary64_829` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
2×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `associate-/l/_binary64_707` `flip-+_binary64_734`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

4 → 124

Calls

8 calls:

21.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3)))) (.f64 (pow.f64 eps 10) -4/25)) (+.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5))))
7.0ms	(*.f64 2/3 (pow.f64 eps 3))
7.0ms	(*.f64 2/3 (pow.f64 eps 3))
7.0ms	(*.f64 2/3 (pow.f64 eps 3))
0.0ms	(+.f64 (.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3)))) (.f64 (pow.f64 eps 10) -4/25))

series234.0ms (0.2%)

Counts

4 → 14

Calls

4 calls:

118.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3)))) (.f64 (pow.f64 eps 10) -4/25)) (+.f64 (-.f64 (.f64 eps -2) (.f64 2/3 (pow.f64 eps 3))) (*.f64 2/5 (pow.f64 eps 5))))
40.0ms	(*.f64 2/3 (pow.f64 eps 3))
40.0ms	(*.f64 2/3 (pow.f64 eps 3))
35.0ms	(*.f64 2/3 (pow.f64 eps 3))

Compiler

Compiled 973 to 814 computations (16.3% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5352	3057

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps))))
0.0b	(sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps))))
0.0b	(-.f64 1 (sqrt.f64 eps))
0.0b	(+.f64 (sqrt.f64 1) (sqrt.f64 eps))
0.0b	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))))
0.0b	(.f64 (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))) (.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps))))))
0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
5.9b	(log.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))) (.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))))))

rewrite238.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

251×	`sqrt-prod_binary64_776`
218×	`*-un-lft-identity_binary64_760`
184×	`add-sqr-sqrt_binary64_782`
156×	`times-frac_binary64_766`
77×	`associate-l_binary64_701`
74×	`add-cube-cbrt_binary64_795`
73×	`associate-r_binary64_700`
46×	`difference-of-squares_binary64_729`
41×	`distribute-lft-out_binary64_711`
32×	`sqrt-div_binary64_777`
25×	`pow1_binary64_821`
23×	`distribute-lft-out--_binary64_712`
19×	`add-exp-log_binary64_798`
17×	`pow-prod-down_binary64_831`
13×	`add-cbrt-cube_binary64_796`
12×	`unswap-sqr_binary64_728`
11×	`frac-times_binary64_770` `associate-*r/_binary64_702`
8×	`associate-/r/_binary64_706` `sqrt-pow1_binary64_778` `pow1/2_binary64_840`
7×	`log-div_binary64_847` `associate-*l/_binary64_703` `prod-exp_binary64_809`
6×	`associate-/l*_binary64_705`
5×	`log-pow_binary64_849`
4×	`flip3-+_binary64_763` `associate-/r*_binary64_704` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `cbrt-unprod_binary64_793`
3×	`sqrt-unprod_binary64_780` `rem-log-exp_binary64_801`
2×	`associate-/l/_binary64_707` `*-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-sub_binary64_765` `div-exp_binary64_811` `clear-num_binary64_759` `flip--_binary64_735` `log-prod_binary64_846` `flip3--_binary64_764`

Counts

4 → 277

Calls

8 calls:

78.0ms	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))))
54.0ms	(.f64 (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))) (.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps))))))
46.0ms	(log.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))) (.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))))))
9.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	(+.f64 (sqrt.f64 1) (sqrt.f64 eps))

series271.0ms (0.2%)

Counts

4 → 18

Calls

4 calls:

97.0ms	(*.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))))
77.0ms	(log.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))) (.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))))))
65.0ms	(.f64 (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps)))) (.f64 (sqrt.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (sqrt.f64 (/.f64 (-.f64 1 (sqrt.f64 eps)) (sqrt.f64 (+.f64 1 eps))))))
31.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 971 to 819 computations (15.7% saved)

simplify134.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

295 → 295

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5022	9772

prune40.2s (31.5%)

Pruning

710 alts after pruning (698 fresh and 12 done)

	Pruned	Kept	Total
New	517	288	805
Fresh	44	410	454
Picked	0	0	0
Done	2	12	14
Total	563	710	1273

Error

0.0b

Counts

1273 → 710

Compiler

Compiled 20305 to 15786 computations (22.3% saved)

simplify974.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4973	66545
1	4973	66545

regimes8.4s (6.6%)

Compiler: Compiled 112698 to 92538 computations (17.9% saved)

bsearch0.0ms (0%)

regimes204.0ms (0.2%)

Compiler: Compiled 1662 to 1493 computations (10.2% saved)

bsearch0.0ms (0%)

regimes174.0ms (0.1%)

Compiler: Compiled 1260 to 1160 computations (7.9% saved)

bsearch0.0ms (0%)

regimes173.0ms (0.1%)

Compiler: Compiled 1215 to 1121 computations (7.7% saved)

bsearch0.0ms (0%)

regimes59.0ms (0%)

Compiler: Compiled 233 to 239 computations (-2.6% saved)

bsearch0.0ms (0%)

regimes61.0ms (0%)

Compiler: Compiled 206 to 215 computations (-4.4% saved)

bsearch0.0ms (0%)

regimes7.0ms (0%)

Accuracy

Total 0.1b remaining (98.7%)

Threshold costs 0.1b (98.7%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch6.0ms (0%)

Compiler: Compiled 76 to 67 computations (11.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	80	110
1	80	110

end0.0ms (0%)

sample39.8s (31.1%)

Algorithm

1×

intervals

Results

1.3s	3966×	body	1024	valid
383.0ms	2074×	body	512	valid
201.0ms	401×	body	2048	valid
100.0ms	960×	body	256	valid
29.0ms	599×	body	128	valid

Compiler

Compiled 36907 to 30288 computations (17.9% saved)

Pareto

0.9810444105295766