Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample81.0ms (0.1%)

Algorithm

1×

intervals

Results

33.0ms	139×	body	1024	valid
26.0ms	55×	body	2048	valid
6.0ms	41×	body	512	valid
2.0ms	16×	body	256	valid
0.0ms	5×	body	128	valid

Compiler

Compiled 18 to 20 computations (-11.1% saved)

simplify105.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	72	14
1	72	14

prune2.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Kept	Total
New	4	4
Fresh	4	4
Picked	0	0
Done	0	0
Total	8	8

Error

37.8b

Counts

8 → 4

Compiler

Compiled 10 to 9 computations (10% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

3.7b	(cos.f64 (+.f64 x eps))
1.5b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
1.5b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
3.7b	(cos.f64 (+.f64 x eps))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
4×	`add-log-exp_binary64_458`
3×	`add-cube-cbrt_binary64_454` `cancel-sign-sub-inv_binary64_385`
2×	`cos-sum_binary64_553` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
1×	`sub-neg_binary64_412` `difference-of-squares_binary64_388` `diff-cos_binary64_570` `flip3--_binary64_423` `distribute-lft-out--_binary64_371` `associate--l-_binary64_357` `diff-log_binary64_511` `flip--_binary64_394`

Counts

2 → 26

Calls

4 calls:

6.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
4.0ms	(cos.f64 (+.f64 x eps))
0.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
0.0ms	(cos.f64 (+.f64 x eps))

series122.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

82.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
40.0ms	(cos.f64 (+.f64 x eps))

Compiler

Compiled 379 to 301 computations (20.6% saved)

simplify63.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5016	764

prune193.0ms (0.3%)

Pruning

39 alts after pruning (38 fresh and 1 done)

	Pruned	Kept	Total
New	15	35	50
Fresh	0	3	3
Picked	0	0	0
Done	0	1	1
Total	15	39	54

Error

0.5b

Counts

54 → 39

Compiler

Compiled 1033 to 544 computations (47.3% saved)

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
0.3b	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
0.0b	(+.f64 x (+.f64 x eps))
0.0b	(+.f64 x (+.f64 x eps))
0.3b	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite28.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_419`
8×	`add-log-exp_binary64_458`
7×	`add-sqr-sqrt_binary64_441`
5×	`add-cube-cbrt_binary64_454` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
3×	`associate-r_binary64_359` `sum-log_binary64_510` `distribute-lft-out_binary64_370` `associate-l_binary64_360`
1×	`flip3-+_binary64_422` `associate-+r+_binary64_351` `pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `sin-mult_binary64_574` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350` `flip-+_binary64_393` `+-commutative_binary64_349`

Counts

3 → 41

Calls

6 calls:

11.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
7.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
6.0ms	(+.f64 x (+.f64 x eps))
0.0ms	(+.f64 x (+.f64 x eps))
0.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

series246.0ms (0.4%)

Counts

3 → 36

Calls

3 calls:

128.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
61.0ms	(+.f64 x (+.f64 x eps))
56.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

Compiler

Compiled 870 to 788 computations (9.4% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5042	1282

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

2.0b	(+.f64 (cos.f64 eps) -1)
2.0b	(+.f64 (cos.f64 eps) -1)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64_419` `add-log-exp_binary64_458`
2×	`add-sqr-sqrt_binary64_441`
1×	`flip3-+_binary64_422` `add-cube-cbrt_binary64_454` `sum-log_binary64_510` `distribute-lft-out_binary64_370` `flip-+_binary64_393` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `difference-of-sqr--1_binary64_390` `pow1_binary64_480` `+-commutative_binary64_349`

Counts

1 → 13

Calls

2 calls:

4.0ms	(+.f64 (cos.f64 eps) -1)
0.0ms	(+.f64 (cos.f64 eps) -1)

series20.0ms (0%)

Counts

1 → 5

Calls

1 calls:

20.0ms

(+.f64 (cos.f64 eps) -1)

Compiler

Compiled 72 to 74 computations (-2.8% saved)

simplify64.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4921	196
1	4921	196

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

3.7b	(cos.f64 (+.f64 x eps))
1.5b	(-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 1) (cos.f64 x))
1.5b	(-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 1) (cos.f64 x))
3.7b	(cos.f64 (+.f64 x eps))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_441`
5×	`*-un-lft-identity_binary64_419`
4×	`add-log-exp_binary64_458`
3×	`difference-of-squares_binary64_388` `add-cube-cbrt_binary64_454` `cancel-sign-sub-inv_binary64_385`
2×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
1×	`cos-sum_binary64_553` `sub-neg_binary64_412` `unpow-prod-down_binary64_498` `sqr-pow_binary64_391` `flip3--_binary64_423` `distribute-lft-out--_binary64_371` `diff-log_binary64_511` `flip--_binary64_394`

Counts

2 → 26

Calls

4 calls:

7.0ms	(-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 1) (cos.f64 x))
4.0ms	(cos.f64 (+.f64 x eps))
0.0ms	(-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 1) (cos.f64 x))
0.0ms	(cos.f64 (+.f64 x eps))

series124.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

83.0ms	(-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 1) (cos.f64 x))
41.0ms	(cos.f64 (+.f64 x eps))

Compiler

Compiled 411 to 333 computations (19% saved)

simplify87.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4931	784
1	4931	784

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

3.7b	(cos.f64 (+.f64 x eps))
1.5b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
0.1b	(log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
0.0b	(exp.f64 (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
0.0b	(exp.f64 (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
0.1b	(log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
1.5b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
3.7b	(cos.f64 (+.f64 x eps))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
12×	`log-prod_binary64_505`
8×	`add-cube-cbrt_binary64_454`
6×	`add-log-exp_binary64_458` `exp-sum_binary64_465` `pow1_binary64_480`
5×	`add-exp-log_binary64_457`
4×	`exp-prod_binary64_471` `add-cbrt-cube_binary64_455` `log-div_binary64_506`
3×	`difference-of-squares_binary64_388` `diff-cos_binary64_570` `flip3--_binary64_423` `distribute-lft-out--_binary64_371` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385`
2×	`cos-sum_binary64_553` `exp-diff_binary64_467` `log-pow_binary64_508`
1×	`sub-neg_binary64_412` `rem-log-exp_binary64_460` `associate--l-_binary64_357` `diff-log_binary64_511` `rem-exp-log_binary64_459`

Counts

4 → 63

Calls

8 calls:

7.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
5.0ms	(exp.f64 (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
4.0ms	(cos.f64 (+.f64 x eps))
4.0ms	(log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
0.0ms	(exp.f64 (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))

series575.0ms (0.9%)

Counts

4 → 38

Calls

4 calls:

236.0ms	(exp.f64 (log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
210.0ms	(log.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
82.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
45.0ms	(cos.f64 (+.f64 x eps))

Compiler

Compiled 912 to 711 computations (22% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4975	1707
1	4975	1707

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

2.4b	(.f64 (sin.f64 eps) (-.f64 x (.f64 1/6 (pow.f64 x 3))))
2.0b	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
1.6b	(-.f64 (cos.f64 eps) (+.f64 1 (.f64 (sin.f64 eps) (-.f64 x (.f64 1/6 (pow.f64 x 3))))))
0.5b	(*.f64 1/6 (pow.f64 x 3))
2.0b	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
2.4b	(.f64 (sin.f64 eps) (-.f64 x (.f64 1/6 (pow.f64 x 3))))
3.3b	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (.f64 (sin.f64 eps) (-.f64 x (*.f64 1/6 (pow.f64 x 3)))))))
6.5b	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))

rewrite44.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-log-exp_binary64_458`
11×	`add-sqr-sqrt_binary64_441` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
8×	`-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `associate-r/_binary64_361`
6×	`associate-r_binary64_359`
5×	`flip3-+_binary64_422` `sum-log_binary64_510` `flip-+_binary64_393` `cancel-sign-sub-inv_binary64_385`
4×	`associate-+r+_binary64_351` `pow-prod-down_binary64_490` `frac-add_binary64_427` `distribute-rgt-in_binary64_369` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `distribute-lft-in_binary64_368` `associate-l_binary64_360`
3×	`sub-neg_binary64_412` `flip3--_binary64_423` `flip--_binary64_394`
2×	`unswap-sqr_binary64_387` `*-commutative_binary64_350` `diff-log_binary64_511` `associate-+l+_binary64_352` `+-commutative_binary64_349`
1×	`associate-+r-_binary64_353`

Counts

4 → 82

Calls

8 calls:

14.0ms	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (.f64 (sin.f64 eps) (-.f64 x (*.f64 1/6 (pow.f64 x 3)))))))
10.0ms	(.f64 (sin.f64 eps) (-.f64 x (.f64 1/6 (pow.f64 x 3))))
7.0ms	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))
3.0ms	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
0.0ms	(*.f64 1/6 (pow.f64 x 3))

series567.0ms (0.9%)

Counts

4 → 37

Calls

4 calls:

226.0ms	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (.f64 (sin.f64 eps) (-.f64 x (*.f64 1/6 (pow.f64 x 3)))))))
180.0ms	(.f64 (sin.f64 eps) (-.f64 x (.f64 1/6 (pow.f64 x 3))))
129.0ms	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))
32.0ms	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))

Compiler

Compiled 1508 to 1185 computations (21.4% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5002	3262

prune5.1s (7.7%)

Pruning

215 alts after pruning (209 fresh and 6 done)

	Pruned	Kept	Total
New	187	178	365
Fresh	2	31	33
Picked	0	0	0
Done	0	6	6
Total	189	215	404

Error

0.4b

Counts

404 → 215

Compiler

Compiled 10720 to 6764 computations (36.9% saved)

localize16.0ms (0%)

Local error

Found 6 expressions with local error:

3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
0.3b	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
0.0b	(+.f64 x (+.f64 x eps))
0.0b	(+.f64 x (+.f64 x eps))
0.3b	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_419`
8×	`add-log-exp_binary64_458`
7×	`add-sqr-sqrt_binary64_441`
5×	`add-cube-cbrt_binary64_454` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
3×	`associate-r_binary64_359` `sum-log_binary64_510` `distribute-lft-out_binary64_370` `associate-l_binary64_360`
1×	`flip3-+_binary64_422` `associate-+r+_binary64_351` `pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `sin-mult_binary64_574` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350` `flip-+_binary64_393` `+-commutative_binary64_349`

Counts

3 → 41

Calls

6 calls:

11.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
8.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
7.0ms	(+.f64 x (+.f64 x eps))
0.0ms	(+.f64 x (+.f64 x eps))
0.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))

series243.0ms (0.4%)

Counts

3 → 36

Calls

3 calls:

129.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
59.0ms	(+.f64 x (+.f64 x eps))
54.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

Compiler

Compiled 970 to 888 computations (8.5% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5042	1282

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 -1/2 (.f64 eps eps))
0.0b	(.f64 -1/2 (.f64 eps eps))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
3×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `add-sqr-sqrt_binary64_441` `associate-l_binary64_360`
2×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
1×	`add-log-exp_binary64_458` `associate-r_binary64_359` `unswap-sqr_binary64_387` `*-commutative_binary64_350`

Counts

1 → 19

Calls

2 calls:

6.0ms	(.f64 -1/2 (.f64 eps eps))
0.0ms	(.f64 -1/2 (.f64 eps eps))

series24.0ms (0%)

Counts

1 → 3

Calls

1 calls:

24.0ms

(*.f64 -1/2 (*.f64 eps eps))

Compiler

Compiled 30 to 36 computations (-20% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5389	180

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

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

2.9b	(log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))
0.1b	(exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
0.1b	(pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
0.0b	(+.f64 x (+.f64 x eps))
0.1b	(pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
0.1b	(exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
2.9b	(log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))
3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
7×	`log-prod_binary64_505`
6×	`unpow-prod-down_binary64_498` `exp-prod_binary64_471`
5×	`add-log-exp_binary64_458` `add-exp-log_binary64_457` `pow1_binary64_480`
4×	`add-cbrt-cube_binary64_455` `pow-pow_binary64_491`
3×	`rem-log-exp_binary64_460` `pow-unpow_binary64_496`
2×	`pow-exp_binary64_487` `sqr-pow_binary64_391` `pow-to-exp_binary64_488`
1×	`log-pow_binary64_508` `rem-exp-log_binary64_459`

Counts

4 → 56

Calls

8 calls:

12.0ms	(pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
11.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))
9.0ms	(exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
8.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
0.0ms	(+.f64 x (+.f64 x eps))

series1.1s (1.7%)

Counts

4 → 48

Calls

4 calls:

578.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))))
377.0ms	(pow.f64 (exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
110.0ms	(exp.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
64.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

Compiler

Compiled 1976 to 1684 computations (14.8% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4966	3026
1	4966	3026

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

1.4b	(-.f64 (cos.f64 eps) (+.f64 1 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))))
0.7b	(pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6)))
0.5b	(*.f64 (pow.f64 x 3) 1/6)
0.1b	(exp.f64 (sin.f64 eps))
1.8b	(log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))
2.0b	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
3.3b	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (.f64 (pow.f64 x 3) 1/6)))))))
6.5b	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-log-exp_binary64_458`
10×	`*-un-lft-identity_binary64_419` `add-exp-log_binary64_457`
9×	`log-prod_binary64_505` `add-sqr-sqrt_binary64_441` `add-cbrt-cube_binary64_455` `pow1_binary64_480`
8×	`add-cube-cbrt_binary64_454`
6×	`associate-+r+_binary64_351` `associate-*r/_binary64_361`
5×	`flip3-+_binary64_422` `sum-log_binary64_510` `flip-+_binary64_393` `cancel-sign-sub-inv_binary64_385`
4×	`frac-add_binary64_427`
3×	`pow-prod-down_binary64_490` `unpow-prod-down_binary64_498` `rem-log-exp_binary64_460` `associate-r_binary64_359` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
2×	`sub-neg_binary64_412` `distribute-rgt-in_binary64_369` `pow-sub_binary64_495` `unpow-prod-up_binary64_497` `flip3--_binary64_423` `distribute-lft-in_binary64_368` `associate-+r-_binary64_353` `diff-log_binary64_511` `flip--_binary64_394` `log-div_binary64_506` `associate-+l+_binary64_352` `+-commutative_binary64_349`
1×	`associate--r-_binary64_358` `unswap-sqr_binary64_387` `pow-exp_binary64_487` `sqr-pow_binary64_391` `distribute-lft-out_binary64_370` `log-pow_binary64_508` `pow-to-exp_binary64_488` `-commutative_binary64_350` `associate-l*_binary64_360`

Counts

4 → 81

Calls

8 calls:

16.0ms	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (.f64 (pow.f64 x 3) 1/6)))))))
7.0ms	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))
4.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))
3.0ms	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
0.0ms	(exp.f64 (sin.f64 eps))

series1.4s (2.2%)

Counts

4 → 31

Calls

4 calls:

764.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))
504.0ms	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (.f64 (pow.f64 x 3) 1/6)))))))
131.0ms	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))
32.0ms	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))

Compiler

Compiled 1482 to 1189 computations (19.8% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4922	3162
1	4922	3162

prune9.0s (13.6%)

Pruning

344 alts after pruning (333 fresh and 11 done)

	Pruned	Kept	Total
New	180	135	315
Fresh	6	198	204
Picked	0	0	0
Done	0	11	11
Total	186	344	530

Error

0.4b

Counts

530 → 344

Compiler

Compiled 15389 to 10946 computations (28.9% saved)

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
0.3b	(*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
0.0b	(+.f64 x (+.f64 x eps))
0.0b	(+.f64 x (+.f64 x eps))
0.3b	(*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
3.7b	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_419`
8×	`add-log-exp_binary64_458`
7×	`add-sqr-sqrt_binary64_441`
5×	`add-cube-cbrt_binary64_454` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
3×	`associate-r_binary64_359` `sum-log_binary64_510` `distribute-lft-out_binary64_370` `associate-l_binary64_360`
1×	`flip3-+_binary64_422` `associate-+r+_binary64_351` `pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `sin-mult_binary64_574` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350` `flip-+_binary64_393` `+-commutative_binary64_349`

Counts

3 → 41

Calls

6 calls:

12.0ms	(*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
7.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
6.0ms	(+.f64 x (+.f64 x eps))
0.0ms	(+.f64 x (+.f64 x eps))
0.0ms	(*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))

series250.0ms (0.4%)

Counts

3 → 36

Calls

3 calls:

120.0ms	(*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)) (sin.f64 (/.f64 eps 2)))
70.0ms	(+.f64 x (+.f64 x eps))
60.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

Compiler

Compiled 1020 to 938 computations (8% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5015	1284

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 -1/2 (.f64 eps eps))
0.0b	(.f64 -1/2 (.f64 eps eps))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
3×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `add-sqr-sqrt_binary64_441` `associate-l_binary64_360`
2×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
1×	`add-log-exp_binary64_458` `associate-r_binary64_359` `unswap-sqr_binary64_387` `*-commutative_binary64_350`

Counts

1 → 19

Calls

2 calls:

6.0ms	(.f64 -1/2 (.f64 eps eps))
0.0ms	(.f64 -1/2 (.f64 eps eps))

series24.0ms (0%)

Counts

1 → 3

Calls

1 calls:

24.0ms

(*.f64 -1/2 (*.f64 eps eps))

Compiler

Compiled 42 to 48 computations (-14.3% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5389	180

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (+.f64 1 (sqrt.f64 (cos.f64 eps))) (+.f64 -1 (sqrt.f64 (cos.f64 eps))))
0.1b	(+.f64 1 (sqrt.f64 (cos.f64 eps)))
0.0b	(sqrt.f64 (cos.f64 eps))
0.0b	(sqrt.f64 (cos.f64 eps))
0.0b	(sqrt.f64 (cos.f64 eps))
0.1b	(+.f64 1 (sqrt.f64 (cos.f64 eps)))
0.1b	(*.f64 (+.f64 1 (sqrt.f64 (cos.f64 eps))) (+.f64 -1 (sqrt.f64 (cos.f64 eps))))
2.1b	(+.f64 -1 (sqrt.f64 (cos.f64 eps)))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64_419`
12×	`add-sqr-sqrt_binary64_441`
8×	`flip3-+_binary64_422` `add-log-exp_binary64_458` `flip-+_binary64_393`
7×	`add-cube-cbrt_binary64_454` `pow1_binary64_480`
6×	`distribute-lft-out_binary64_370` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
5×	`associate-l_binary64_360` `sqrt-prod_binary64_435`
4×	`associate-r_binary64_359` `frac-times_binary64_429`
2×	`associate-l/_binary64_362` `sum-log_binary64_510` `associate-r/_binary64_361` `+-commutative_binary64_349`
1×	`pow-prod-down_binary64_490` `distribute-rgt-in_binary64_369` `pow1/2_binary64_499` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `distribute-lft-in_binary64_368` `*-commutative_binary64_350` `sqrt-pow1_binary64_437` `rem-sqrt-square_binary64_432`

Counts

4 → 69

Calls

8 calls:

10.0ms	(*.f64 (+.f64 1 (sqrt.f64 (cos.f64 eps))) (+.f64 -1 (sqrt.f64 (cos.f64 eps))))
4.0ms	(+.f64 -1 (sqrt.f64 (cos.f64 eps)))
4.0ms	(+.f64 1 (sqrt.f64 (cos.f64 eps)))
1.0ms	(sqrt.f64 (cos.f64 eps))
0.0ms	(sqrt.f64 (cos.f64 eps))

series141.0ms (0.2%)

Counts

4 → 19

Calls

4 calls:

65.0ms	(*.f64 (+.f64 1 (sqrt.f64 (cos.f64 eps))) (+.f64 -1 (sqrt.f64 (cos.f64 eps))))
31.0ms	(+.f64 -1 (sqrt.f64 (cos.f64 eps)))
23.0ms	(sqrt.f64 (cos.f64 eps))
22.0ms	(+.f64 1 (sqrt.f64 (cos.f64 eps)))

Compiler

Compiled 426 to 384 computations (9.9% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4948	1093
1	4948	1093

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (sin.f64 x) (pow.f64 eps 3)) -1/12)
0.1b	(*.f64 1/48 (pow.f64 eps 4))
0.0b	(.f64 (cos.f64 x) (-.f64 (.f64 1/4 (.f64 eps eps)) (.f64 1/48 (pow.f64 eps 4))))
0.0b	(+.f64 (.f64 1/2 (.f64 eps (sin.f64 x))) (+.f64 (.f64 (cos.f64 x) (-.f64 (.f64 1/4 (.f64 eps eps)) (.f64 1/48 (pow.f64 eps 4)))) (.f64 (.f64 (sin.f64 x) (pow.f64 eps 3)) -1/12)))
0.1b	(*.f64 eps (sin.f64 x))
2.2b	(*.f64 (sin.f64 x) (pow.f64 eps 3))
9.9b	(+.f64 (.f64 (cos.f64 x) (-.f64 (.f64 1/4 (.f64 eps eps)) (.f64 1/48 (pow.f64 eps 4)))) (.f64 (.f64 (sin.f64 x) (pow.f64 eps 3)) -1/12))
18.1b	(-.f64 (.f64 1/4 (.f64 eps eps)) (*.f64 1/48 (pow.f64 eps 4)))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_441`
15×	`associate-r_binary64_359`
11×	`add-exp-log_binary64_457`
10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
8×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455`
6×	`associate-l_binary64_360` `pow1_binary64_480`
5×	`unswap-sqr_binary64_387`
4×	`unpow-prod-down_binary64_498` `prod-exp_binary64_468` `cube-prod_binary64_447` `associate-+l+_binary64_352`
3×	`sub-neg_binary64_412` `cancel-sign-sub-inv_binary64_385`
2×	`distribute-rgt-in_binary64_369` `cbrt-unprod_binary64_452` `sqr-pow_binary64_391` `distribute-lft-in_binary64_368` `*-commutative_binary64_350`
1×	`flip3-+_binary64_422` `pow-prod-down_binary64_490` `unpow3_binary64_485` `cube-mult_binary64_449` `pow-exp_binary64_487` `sum-log_binary64_510` `flip3--_binary64_423` `pow-to-exp_binary64_488` `flip-+_binary64_393` `diff-log_binary64_511` `flip--_binary64_394` `+-commutative_binary64_349`

Counts

4 → 76

Calls

8 calls:

12.0ms	(+.f64 (.f64 (cos.f64 x) (-.f64 (.f64 1/4 (.f64 eps eps)) (.f64 1/48 (pow.f64 eps 4)))) (.f64 (.f64 (sin.f64 x) (pow.f64 eps 3)) -1/12))
7.0ms	(*.f64 (sin.f64 x) (pow.f64 eps 3))
6.0ms	(-.f64 (.f64 1/4 (.f64 eps eps)) (*.f64 1/48 (pow.f64 eps 4)))
4.0ms	(*.f64 eps (sin.f64 x))
0.0ms	(+.f64 (.f64 1/2 (.f64 eps (sin.f64 x))) (+.f64 (.f64 (cos.f64 x) (-.f64 (.f64 1/4 (.f64 eps eps)) (.f64 1/48 (pow.f64 eps 4)))) (.f64 (.f64 (sin.f64 x) (pow.f64 eps 3)) -1/12)))

series507.0ms (0.8%)

Counts

4 → 30

Calls

4 calls:

224.0ms	(+.f64 (.f64 (cos.f64 x) (-.f64 (.f64 1/4 (.f64 eps eps)) (.f64 1/48 (pow.f64 eps 4)))) (.f64 (.f64 (sin.f64 x) (pow.f64 eps 3)) -1/12))
104.0ms	(*.f64 (sin.f64 x) (pow.f64 eps 3))
97.0ms	(-.f64 (.f64 1/4 (.f64 eps eps)) (*.f64 1/48 (pow.f64 eps 4)))
82.0ms	(*.f64 eps (sin.f64 x))

Compiler

Compiled 1594 to 1268 computations (20.5% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4992	1829
1	4992	1829

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

1.4b	(-.f64 (cos.f64 eps) (+.f64 1 (pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6)))) 1)))
0.7b	(pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6)))
0.5b	(*.f64 (pow.f64 x 3) 1/6)
0.1b	(exp.f64 (sin.f64 eps))
1.8b	(log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))
2.0b	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
3.3b	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (.f64 (pow.f64 x 3) 1/6)))) 1))))
6.5b	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))

rewrite45.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-log-exp_binary64_458`
10×	`*-un-lft-identity_binary64_419` `add-exp-log_binary64_457`
9×	`log-prod_binary64_505` `add-sqr-sqrt_binary64_441` `add-cbrt-cube_binary64_455` `pow1_binary64_480`
8×	`add-cube-cbrt_binary64_454`
6×	`associate-*r/_binary64_361`
5×	`flip3-+_binary64_422` `associate-+r+_binary64_351` `sum-log_binary64_510` `flip-+_binary64_393` `cancel-sign-sub-inv_binary64_385`
4×	`frac-add_binary64_427`
3×	`pow-prod-down_binary64_490` `unpow-prod-down_binary64_498` `rem-log-exp_binary64_460` `associate-r_binary64_359` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
2×	`sub-neg_binary64_412` `distribute-rgt-in_binary64_369` `unpow-prod-up_binary64_497` `flip3--_binary64_423` `distribute-lft-in_binary64_368` `diff-log_binary64_511` `flip--_binary64_394` `associate-+l+_binary64_352` `+-commutative_binary64_349`
1×	`pow-sub_binary64_495` `unswap-sqr_binary64_387` `pow-exp_binary64_487` `sqr-pow_binary64_391` `distribute-lft-out_binary64_370` `log-pow_binary64_508` `pow-to-exp_binary64_488` `-commutative_binary64_350` `associate-l*_binary64_360` `associate-+r-_binary64_353` `log-div_binary64_506`

Counts

4 → 80

Calls

8 calls:

20.0ms	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (.f64 (pow.f64 x 3) 1/6)))) 1))))
8.0ms	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))
4.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))
3.0ms	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))
0.0ms	(exp.f64 (sin.f64 eps))

series1.5s (2.2%)

Counts

4 → 31

Calls

4 calls:

784.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (*.f64 (pow.f64 x 3) 1/6))))
521.0ms	(+.f64 (.f64 (.f64 x x) (+.f64 1/2 (.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (+.f64 1 (pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 eps)) (-.f64 x (.f64 (pow.f64 x 3) 1/6)))) 1))))
134.0ms	(.f64 (.f64 x x) (+.f64 1/2 (*.f64 (cos.f64 eps) -1/2)))
33.0ms	(+.f64 1/2 (*.f64 (cos.f64 eps) -1/2))

Compiler

Compiled 1550 to 1257 computations (18.9% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4974	3140
1	4974	3140

prune16.5s (24.8%)

Pruning

497 alts after pruning (482 fresh and 15 done)

	Pruned	Kept	Total
New	238	166	404
Fresh	12	316	328
Picked	0	0	0
Done	1	15	16
Total	251	497	748

Error

0.4b

Counts

748 → 497

Compiler

Compiled 8095 to 4982 computations (38.5% saved)

simplify400.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5000	28019

regimes6.6s (9.9%)

Compiler: Compiled 37219 to 28344 computations (23.8% saved)

bsearch72.0ms (0.1%)

Steps

Iters	Range		Point
8	0.0007572542386218229	22.913702724595534	0.0036073965070522497
5	-0.002487885533578501	-0.0007296864550878135	-0.0024335825693093255

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes1.8s (2.8%)

Compiler: Compiled 10017 to 8363 computations (16.5% saved)

bsearch62.0ms (0.1%)

Steps

Iters	Range		Point
8	0.0007572542386218229	22.913702724595534	0.003493861581670858
5	-0.002487885533578501	-0.0007296864550878135	-0.0024335825693093255

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes821.0ms (1.2%)

Compiler: Compiled 7845 to 6623 computations (15.6% saved)

bsearch0.0ms (0%)

regimes171.0ms (0.3%)

Compiler: Compiled 982 to 959 computations (2.3% saved)

bsearch0.0ms (0%)

regimes230.0ms (0.3%)

Compiler: Compiled 826 to 815 computations (1.3% saved)

bsearch48.0ms (0.1%)

Steps

Iters	Range		Point
8	2.1697776046776103e-07	0.0007572542386218229	0.0007460669567238816
5	-1092324551797.1191	-402421519390.3741	-408962436006.8145

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes232.0ms (0.3%)

Compiler: Compiled 688 to 695 computations (-1% saved)

bsearch91.0ms (0.1%)

Steps

Iters	Range		Point
8	0.00039093335691329654	0.11132967297067811	0.00039483389046432855
10	-1596.1837542220132	-1.785190496352884e-09	-5.530951086961855e-09

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes189.0ms (0.3%)

Compiler: Compiled 508 to 521 computations (-2.6% saved)

bsearch93.0ms (0.1%)

Steps

Iters	Range		Point
8	0.00039093335691329654	0.11132967297067811	0.00039483389046432855
10	-1596.1837542220132	-1.785190496352884e-09	-1.76112650866227e-06

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes175.0ms (0.3%)

Compiler: Compiled 460 to 470 computations (-2.2% saved)

bsearch146.0ms (0.2%)

Steps

Iters	Range		Point
9	3.5814949933151105e-13	2.1697776046776103e-07	2.1473734955250018e-07
6	1.4905899798372182e-136	1.0118608542458203e-135	9.677252196218986e-136
9	-1.609405642689885e-33	-1.3824676153817421e-39	-1.5790679630181446e-33
5	-1092324551797.1191	-402421519390.3741	-408962436006.8145

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes96.0ms (0.1%)

Compiler: Compiled 188 to 190 computations (-1.1% saved)

bsearch136.0ms (0.2%)

Steps

Iters	Range		Point
9	3.5814949933151105e-13	2.1697776046776103e-07	2.1473734955250018e-07
6	1.4905899798372182e-136	1.0118608542458203e-135	5.630040587748545e-136
9	-1.609405642689885e-33	-1.3824676153817421e-39	-1.4992305999204856e-33
5	-1092324551797.1191	-402421519390.3741	-408962436006.8145

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes76.0ms (0.1%)

Compiler: Compiled 132 to 148 computations (-12.1% saved)

bsearch89.0ms (0.1%)

Steps

Iters	Range		Point
8	2.1697776046776103e-07	0.0007572542386218229	0.00010016414844791195
9	-1.609405642689885e-33	-1.3824676153817421e-39	-1.8808535976661016e-34
5	-1092324551797.1191	-402421519390.3741	-408962436006.8145

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes73.0ms (0.1%)

Compiler: Compiled 110 to 128 computations (-16.4% saved)

bsearch103.0ms (0.2%)

Steps

Iters	Range		Point
8	2.1697776046776103e-07	0.0007572542386218229	9.302691634614032e-07
9	-1.609405642689885e-33	-1.3824676153817421e-39	-3.917817851588561e-38
9	-0.00044915869427776084	-1.1178840378051365e-13	-0.0001756687504501214

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes38.0ms (0.1%)

Compiler: Compiled 46 to 68 computations (-47.8% saved)

bsearch61.0ms (0.1%)

Steps

Iters	Range		Point
9	3.5814949933151105e-13	2.1697776046776103e-07	2.1473734955250018e-07
9	-0.00044915869427776084	-1.1178840378051365e-13	-0.0001756687504501214

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes36.0ms (0.1%)

Compiler: Compiled 30 to 46 computations (-53.3% saved)

bsearch63.0ms (0.1%)

Steps

Iters	Range		Point
8	0.0007572542386218229	22.913702724595534	1.5083393991063354
10	-402421519390.3741	-0.002487885533578501	-1.4215077523960264

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes31.0ms (0%)

Accuracy

Total 0.3b remaining (63.5%)

Threshold costs 0.3b (63.5%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch81.0ms (0.1%)

Steps

Iters	Range		Point
2	4.838826648126417e-88	5.643455582292572e-88	5.0249605220960307e-88
8	-9.559085376632081e-86	-2.06806023010425e-88	-3.0077704307918553e-87

Compiler

Compiled 491 to 345 computations (29.7% saved)

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	1482	681
1	1482	681

end0.0ms (0%)

sample14.7s (22.1%)

Algorithm

1×

intervals

Results

1.1s	2035×	body	2048	valid
1.0s	3946×	body	1024	valid
222.0ms	1302×	body	512	valid
59.0ms	467×	body	256	valid
15.0ms	243×	body	128	valid
8.0ms	7×	body	4096	valid

Compiler

Compiled 13180 to 10049 computations (23.8% saved)

Pareto

0.3599331463227729