Details

Time bar (total: 1.4min)

analyze2.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample71.0ms (0.1%)

Algorithm
1×intervals
Results
31.0ms110×body1024valid
19.0ms38×body2048valid
7.0ms37×body512valid
3.0ms48×body128valid
3.0ms23×body256valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify104.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07211
17211

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
37.1b
Counts
2 → 1
Compiler

Compiled 7 to 6 computations (14.3% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

4.1b
(sin.f64 (+.f64 x eps))
1.5b
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
1.5b
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.1b
(sin.f64 (+.f64 x eps))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
4×add-log-exp_binary64_1481
3×cancel-sign-sub-inv_binary64_1408 add-cube-cbrt_binary64_1477
2×sin-sum_binary64_1575 add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
1×associate--l+_binary64_1379 sub-neg_binary64_1435 flip3--_binary64_1446 diff-sin_binary64_1592 flip--_binary64_1417 diff-log_binary64_1534 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394
Counts
2 → 26
Calls

4 calls:

7.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.0ms
(sin.f64 (+.f64 x eps))
0.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
0.0ms
(sin.f64 (+.f64 x eps))

series119.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

79.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
40.0ms
(sin.f64 (+.f64 x eps))
Compiler

Compiled 368 to 288 computations (21.7% saved)

simplify65.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05023755

prune166.0ms (0.2%)

Pruning

36 alts after pruning (35 fresh and 1 done)

PrunedKeptTotal
New153550
Fresh000
Picked000
Done011
Total153651
Error
0.3b
Counts
51 → 36
Compiler

Compiled 1021 to 530 computations (48.1% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

4.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
0.3b
(*.f64 (sin.f64 (/.f64 eps 2)) (cos.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)) (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
4.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite22.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64_1442
8×add-log-exp_binary64_1481
7×add-sqr-sqrt_binary64_1464
5×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503 add-cube-cbrt_binary64_1477
3×associate-*r*_binary64_1382 sum-log_binary64_1533 associate-*l*_binary64_1383 distribute-lft-out_binary64_1393
1×cbrt-unprod_binary64_1475 +-commutative_binary64_1372 pow-prod-down_binary64_1513 *-commutative_binary64_1373 sin-cos-mult_binary64_1598 flip3-+_binary64_1445 flip-+_binary64_1416 prod-exp_binary64_1491 associate-+r+_binary64_1374 unswap-sqr_binary64_1410
Counts
3 → 41
Calls

6 calls:

7.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
6.0ms
(*.f64 (sin.f64 (/.f64 eps 2)) (cos.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 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))

series243.0ms (0.3%)

Counts
3 → 36
Calls

3 calls:

128.0ms
(*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
60.0ms
(+.f64 x (+.f64 x eps))
54.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
Compiler

Compiled 876 to 792 computations (9.6% saved)

simplify74.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050491281

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)

IterNodesCost
000

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

4.1b
(sin.f64 (+.f64 x eps))
1.5b
(-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 1) (sin.f64 x))
1.5b
(-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 1) (sin.f64 x))
4.1b
(sin.f64 (+.f64 x eps))

rewrite14.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_1464
5×*-un-lft-identity_binary64_1442
4×add-log-exp_binary64_1481
3×cancel-sign-sub-inv_binary64_1408 difference-of-squares_binary64_1411 add-cube-cbrt_binary64_1477
2×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
1×sin-sum_binary64_1575 sub-neg_binary64_1435 flip3--_binary64_1446 flip--_binary64_1417 diff-log_binary64_1534 sqr-pow_binary64_1414 distribute-lft-out--_binary64_1394 unpow-prod-down_binary64_1521
Counts
2 → 26
Calls

4 calls:

8.0ms
(-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 1) (sin.f64 x))
4.0ms
(sin.f64 (+.f64 x eps))
0.0ms
(-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 1) (sin.f64 x))
0.0ms
(sin.f64 (+.f64 x eps))

series121.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

76.0ms
(-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 1) (sin.f64 x))
44.0ms
(sin.f64 (+.f64 x eps))
Compiler

Compiled 400 to 320 computations (20% saved)

simplify69.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04953783
14953783

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

7.9b
(-.f64 (log.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (sin.f64 x))
4.1b
(sin.f64 (+.f64 x eps))
3.2b
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
0.1b
(exp.f64 (sin.f64 (+.f64 x eps)))
0.1b
(exp.f64 (sin.f64 (+.f64 x eps)))
3.2b
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
4.1b
(sin.f64 (+.f64 x eps))
7.9b
(-.f64 (log.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (sin.f64 x))

rewrite26.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×*-un-lft-identity_binary64_1442
11×add-sqr-sqrt_binary64_1464
9×add-cube-cbrt_binary64_1477
8×log-prod_binary64_1528
6×add-log-exp_binary64_1481 exp-prod_binary64_1494 pow1_binary64_1503
5×log-pow_binary64_1531
4×associate--l+_binary64_1379 sin-sum_binary64_1575 add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
3×cancel-sign-sub-inv_binary64_1408 exp-sum_binary64_1488
2×distribute-lft-out--_binary64_1394
1×sub-neg_binary64_1435 rem-exp-log_binary64_1482 rem-log-exp_binary64_1483 flip3--_binary64_1446 flip--_binary64_1417 diff-log_binary64_1534 difference-of-squares_binary64_1411
Counts
4 → 57
Calls

8 calls:

9.0ms
(-.f64 (log.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (sin.f64 x))
5.0ms
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
5.0ms
(exp.f64 (sin.f64 (+.f64 x eps)))
4.0ms
(sin.f64 (+.f64 x eps))
0.0ms
(exp.f64 (sin.f64 (+.f64 x eps)))

series493.0ms (0.6%)

Counts
4 → 48
Calls

4 calls:

198.0ms
(-.f64 (log.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (sin.f64 x))
168.0ms
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
85.0ms
(exp.f64 (sin.f64 (+.f64 x eps)))
41.0ms
(sin.f64 (+.f64 x eps))
Compiler

Compiled 1018 to 761 computations (25.2% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049691579
149691579

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

2.3b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
0.1b
(*.f64 (sin.f64 x) (cos.f64 eps))
0.1b
(*.f64 (cos.f64 x) (sin.f64 eps))
0.1b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
0.1b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
0.1b
(*.f64 (cos.f64 x) (sin.f64 eps))
0.1b
(*.f64 (sin.f64 x) (cos.f64 eps))
2.3b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

rewrite31.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
15×add-sqr-sqrt_binary64_1464
11×add-log-exp_binary64_1481 *-un-lft-identity_binary64_1442
9×add-cube-cbrt_binary64_1477
8×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
6×associate-*r*_binary64_1382 associate-*l*_binary64_1383
3×cancel-sign-sub-inv_binary64_1408
2×cbrt-unprod_binary64_1475 sum-log_binary64_1533 pow-prod-down_binary64_1513 *-commutative_binary64_1373 diff-log_binary64_1534 prod-exp_binary64_1491 unswap-sqr_binary64_1410
1×associate--l+_binary64_1379 sub-neg_binary64_1435 flip3--_binary64_1446 +-commutative_binary64_1372 flip--_binary64_1417 sin-cos-mult_binary64_1598 flip3-+_binary64_1445 flip-+_binary64_1416 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394
Counts
4 → 66
Calls

8 calls:

9.0ms
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
6.0ms
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
5.0ms
(*.f64 (cos.f64 x) (sin.f64 eps))
5.0ms
(*.f64 (sin.f64 x) (cos.f64 eps))
0.0ms
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))

series568.0ms (0.7%)

Counts
4 → 47
Calls

4 calls:

193.0ms
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
154.0ms
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
111.0ms
(*.f64 (cos.f64 x) (sin.f64 eps))
109.0ms
(*.f64 (sin.f64 x) (cos.f64 eps))
Compiler

Compiled 1112 to 796 computations (28.4% saved)

simplify88.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
052732028

prune3.5s (4.2%)

Pruning

186 alts after pruning (181 fresh and 5 done)

PrunedKeptTotal
New184161345
Fresh102030
Picked000
Done156
Total195186381
Error
0.1b
Counts
381 → 186
Compiler

Compiled 8095 to 4377 computations (45.9% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

1.9b
(+.f64 (cos.f64 eps) -1)
0.2b
(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
0.1b
(*.f64 (cos.f64 x) (sin.f64 eps))
0.1b
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
0.1b
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
0.1b
(*.f64 (cos.f64 x) (sin.f64 eps))
0.2b
(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
1.9b
(+.f64 (cos.f64 eps) -1)

rewrite26.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_1464
12×*-un-lft-identity_binary64_1442
8×associate-*r*_binary64_1382 add-cbrt-cube_binary64_1478 add-log-exp_binary64_1481 add-exp-log_binary64_1480 pow1_binary64_1503 add-cube-cbrt_binary64_1477
6×associate-*l*_binary64_1383
3×flip3-+_binary64_1445 flip-+_binary64_1416
2×associate-*r/_binary64_1384 cbrt-unprod_binary64_1475 sum-log_binary64_1533 +-commutative_binary64_1372 pow-prod-down_binary64_1513 *-commutative_binary64_1373 difference-of-sqr--1_binary64_1413 distribute-lft-out_binary64_1393 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392 prod-exp_binary64_1491 associate-+r+_binary64_1374 unswap-sqr_binary64_1410
Counts
4 → 68
Calls

8 calls:

7.0ms
(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
5.0ms
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
5.0ms
(*.f64 (cos.f64 x) (sin.f64 eps))
4.0ms
(+.f64 (cos.f64 eps) -1)
0.0ms
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))

series435.0ms (0.5%)

Counts
4 → 38
Calls

4 calls:

188.0ms
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
117.0ms
(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
108.0ms
(*.f64 (cos.f64 x) (sin.f64 eps))
23.0ms
(+.f64 (cos.f64 eps) -1)
Compiler

Compiled 1093 to 883 computations (19.2% saved)

simplify107.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
049541719
149541719

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 eps (cos.f64 x))
0.1b
(*.f64 eps (cos.f64 x))

rewrite5.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_1464
3×associate-*r*_binary64_1382 add-cbrt-cube_binary64_1478 associate-*l*_binary64_1383 add-exp-log_binary64_1480 pow1_binary64_1503 add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
1×cbrt-unprod_binary64_1475 pow-prod-down_binary64_1513 *-commutative_binary64_1373 add-log-exp_binary64_1481 prod-exp_binary64_1491 unswap-sqr_binary64_1410
Counts
1 → 18
Calls

2 calls:

4.0ms
(*.f64 eps (cos.f64 x))
0.0ms
(*.f64 eps (cos.f64 x))

series67.0ms (0.1%)

Counts
1 → 9
Calls

1 calls:

67.0ms
(*.f64 eps (cos.f64 x))
Compiler

Compiled 92 to 84 computations (8.7% saved)

simplify125.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
04760253
14760253

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

2.2b
(-.f64 (pow.f64 (+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x))) 1) (sin.f64 x))
0.1b
(*.f64 eps (cos.f64 x))
0.0b
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
0.0b
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
0.1b
(*.f64 eps (cos.f64 x))
2.2b
(-.f64 (pow.f64 (+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x))) 1) (sin.f64 x))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64_1464
8×*-un-lft-identity_binary64_1442
7×add-log-exp_binary64_1481
6×add-cube-cbrt_binary64_1477
5×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
3×associate-*r*_binary64_1382 cancel-sign-sub-inv_binary64_1408 associate-*l*_binary64_1383 difference-of-squares_binary64_1411
1×cbrt-unprod_binary64_1475 sum-log_binary64_1533 sub-neg_binary64_1435 flip3--_binary64_1446 +-commutative_binary64_1372 pow-prod-down_binary64_1513 *-commutative_binary64_1373 flip--_binary64_1417 diff-log_binary64_1534 sqr-pow_binary64_1414 flip3-+_binary64_1445 flip-+_binary64_1416 prod-exp_binary64_1491 distribute-lft-out--_binary64_1394 unpow-prod-down_binary64_1521 unswap-sqr_binary64_1410
Counts
3 → 47
Calls

6 calls:

8.0ms
(-.f64 (pow.f64 (+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x))) 1) (sin.f64 x))
4.0ms
(*.f64 eps (cos.f64 x))
4.0ms
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
0.0ms
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
0.0ms
(*.f64 eps (cos.f64 x))

series325.0ms (0.4%)

Counts
3 → 29
Calls

3 calls:

182.0ms
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
72.0ms
(*.f64 eps (cos.f64 x))
71.0ms
(-.f64 (pow.f64 (+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x))) 1) (sin.f64 x))
Compiler

Compiled 493 to 394 computations (20.1% saved)

simplify57.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
04941947
14941947

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
0.1b
(sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
0.0b
(+.f64 x (+.f64 x eps))
0.0b
(+.f64 x (+.f64 x eps))
0.1b
(*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
0.2b
(*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
4.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
4.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite37.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64_1464
11×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
9×associate-*r*_binary64_1382 add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
7×associate-*l*_binary64_1383 sqrt-prod_binary64_1458
4×cbrt-unprod_binary64_1475 pow-prod-down_binary64_1513 add-log-exp_binary64_1481 prod-exp_binary64_1491
2×*-commutative_binary64_1373 unswap-sqr_binary64_1410
Counts
4 → 57
Calls

8 calls:

9.0ms
(*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
7.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
7.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
6.0ms
(*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
0.0ms
(+.f64 x (+.f64 x eps))

series525.0ms (0.6%)

Counts
4 → 42
Calls

4 calls:

243.0ms
(*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
139.0ms
(*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
72.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
71.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
Compiler

Compiled 1968 to 1642 computations (16.6% saved)

simplify75.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
051902277

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (cos.f64 x) (sin.f64 eps))
0.1b
(*.f64 1/24 (pow.f64 eps 4))
0.0b
(+.f64 (-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps)))
0.0b
(*.f64 1/2 (*.f64 eps eps))
0.6b
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))
1.2b
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))
2.1b
(-.f64 (+.f64 (-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
20.4b
(-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6)))))

rewrite60.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
15×add-log-exp_binary64_1481 add-sqr-sqrt_binary64_1464
12×associate-*r/_binary64_1384
11×*-un-lft-identity_binary64_1442
9×add-cube-cbrt_binary64_1477
8×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
6×associate-*r*_binary64_1382 associate-*l*_binary64_1383 flip3-+_binary64_1445 flip-+_binary64_1416
5×diff-log_binary64_1534
4×cancel-sign-sub-inv_binary64_1408 frac-sub_binary64_1451 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392
3×associate--l+_binary64_1379
2×cbrt-unprod_binary64_1475 sum-log_binary64_1533 sub-neg_binary64_1435 flip3--_binary64_1446 pow-prod-down_binary64_1513 *-commutative_binary64_1373 flip--_binary64_1417 prod-exp_binary64_1491 associate--r+_binary64_1378 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_1410
1×associate--l-_binary64_1380 associate-+l-_binary64_1377 difference-of-squares_binary64_1411
Counts
4 → 85
Calls

8 calls:

18.0ms
(-.f64 (+.f64 (-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
11.0ms
(-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6)))))
10.0ms
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))
9.0ms
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))
0.0ms
(*.f64 1/2 (*.f64 eps eps))

series1.2s (1.4%)

Counts
4 → 52
Calls

4 calls:

330.0ms
(-.f64 (+.f64 (-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
322.0ms
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))
308.0ms
(-.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6)))))
233.0ms
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))
Compiler

Compiled 2540 to 1913 computations (24.7% saved)

simplify88.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
051504875

prune10.7s (12.9%)

Pruning

393 alts after pruning (383 fresh and 10 done)

PrunedKeptTotal
New227218445
Fresh11165176
Picked000
Done01010
Total238393631
Error
0.0b
Counts
631 → 393
Compiler

Compiled 19713 to 12660 computations (35.8% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x)) (-.f64 (cos.f64 eps) -1))
0.2b
(*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x))
0.1b
(*.f64 (cos.f64 x) (sin.f64 eps))
0.1b
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (/.f64 (*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x)) (-.f64 (cos.f64 eps) -1)))
0.2b
(*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x))
0.2b
(/.f64 (*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x)) (-.f64 (cos.f64 eps) -1))
0.3b
(*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps)))
0.4b
(-.f64 (cos.f64 eps) -1)

rewrite39.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464
18×*-un-lft-identity_binary64_1442
13×associate-*r*_binary64_1382
12×add-cube-cbrt_binary64_1477
11×pow1_binary64_1503
7×cbrt-unprod_binary64_1475 prod-exp_binary64_1491
6×add-log-exp_binary64_1481
5×associate-/r*_binary64_1386 times-frac_binary64_1448
4×associate-*l*_binary64_1383 pow-prod-down_binary64_1513
3×distribute-lft-neg-in_binary64_1399 cbrt-undiv_binary64_1476 cancel-sign-sub-inv_binary64_1408 distribute-rgt-neg-in_binary64_1400 distribute-rgt-neg-out_binary64_1402 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394 div-exp_binary64_1493
2×associate-/r/_binary64_1388 flip3--_binary64_1446 *-commutative_binary64_1373 flip--_binary64_1417 distribute-lft-neg-out_binary64_1401
1×div-inv_binary64_1439 sub-neg_binary64_1435 clear-num_binary64_1441 associate-/l*_binary64_1387 neg-mul-1_binary64_1438 frac-2neg_binary64_1453 diff-log_binary64_1534 distribute-frac-neg_binary64_1405 unswap-sqr_binary64_1410
Counts
4 → 91
Calls

8 calls:

11.0ms
(/.f64 (*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x)) (-.f64 (cos.f64 eps) -1))
8.0ms
(*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x))
6.0ms
(*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps)))
5.0ms
(-.f64 (cos.f64 eps) -1)
0.0ms
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (/.f64 (*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x)) (-.f64 (cos.f64 eps) -1)))

series485.0ms (0.6%)

Counts
4 → 28
Calls

4 calls:

262.0ms
(/.f64 (*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x)) (-.f64 (cos.f64 eps) -1))
161.0ms
(*.f64 (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps))) (sin.f64 x))
40.0ms
(*.f64 (sin.f64 eps) (neg.f64 (sin.f64 eps)))
23.0ms
(-.f64 (cos.f64 eps) -1)
Compiler

Compiled 1203 to 951 computations (20.9% saved)

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049381688
149381688

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

7.2b
(*.f64 eps (*.f64 x x))
0.0b
(*.f64 1/2 (*.f64 eps (*.f64 x x)))
0.0b
(-.f64 eps (*.f64 1/2 (*.f64 eps (*.f64 x x))))
0.0b
(*.f64 1/2 (*.f64 eps (*.f64 x x)))
0.0b
(-.f64 eps (*.f64 1/2 (*.f64 eps (*.f64 x x))))
7.2b
(*.f64 eps (*.f64 x x))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
9×cbrt-unprod_binary64_1475 pow-prod-down_binary64_1513 prod-exp_binary64_1491
6×associate-*l*_binary64_1383 add-sqr-sqrt_binary64_1464
5×add-log-exp_binary64_1481 add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
2×associate-*r*_binary64_1382 *-commutative_binary64_1373
1×cancel-sign-sub-inv_binary64_1408 sub-neg_binary64_1435 flip3--_binary64_1446 flip--_binary64_1417 diff-log_binary64_1534 unswap-sqr_binary64_1410
Counts
3 → 52
Calls

6 calls:

7.0ms
(*.f64 1/2 (*.f64 eps (*.f64 x x)))
6.0ms
(*.f64 eps (*.f64 x x))
3.0ms
(-.f64 eps (*.f64 1/2 (*.f64 eps (*.f64 x x))))
0.0ms
(-.f64 eps (*.f64 1/2 (*.f64 eps (*.f64 x x))))
0.0ms
(*.f64 1/2 (*.f64 eps (*.f64 x x)))

series228.0ms (0.3%)

Counts
3 → 21
Calls

3 calls:

102.0ms
(-.f64 eps (*.f64 1/2 (*.f64 eps (*.f64 x x))))
69.0ms
(*.f64 1/2 (*.f64 eps (*.f64 x x)))
56.0ms
(*.f64 eps (*.f64 x x))
Compiler

Compiled 343 to 314 computations (8.5% saved)

simplify80.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
05035838

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6)))
0.1b
(*.f64 (pow.f64 x 3) -1/6)
0.0b
(+.f64 x (*.f64 (pow.f64 x 3) -1/6))
0.0b
(*.f64 (*.f64 x x) -1/2)
0.1b
(*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6)))
1.3b
(-.f64 (+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps))) (sin.f64 x))
3.8b
(*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps))
5.5b
(+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps)))

rewrite50.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
15×add-sqr-sqrt_binary64_1464
11×add-log-exp_binary64_1481 *-un-lft-identity_binary64_1442
9×add-cube-cbrt_binary64_1477
8×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
7×flip3-+_binary64_1445 flip-+_binary64_1416
6×associate-*r/_binary64_1384 associate-*r*_binary64_1382 associate-*l*_binary64_1383 associate-*l/_binary64_1385
4×frac-add_binary64_1450
3×cancel-sign-sub-inv_binary64_1408
2×cbrt-unprod_binary64_1475 sum-log_binary64_1533 associate-+l+_binary64_1375 pow-prod-down_binary64_1513 *-commutative_binary64_1373 diff-log_binary64_1534 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392 prod-exp_binary64_1491 unswap-sqr_binary64_1410
1×associate--l+_binary64_1379 sub-neg_binary64_1435 flip3--_binary64_1446 +-commutative_binary64_1372 flip--_binary64_1417 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394
Counts
4 → 77
Calls

8 calls:

15.0ms
(-.f64 (+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps))) (sin.f64 x))
11.0ms
(*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps))
9.0ms
(+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps)))
6.0ms
(*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6)))
0.0ms
(*.f64 (*.f64 x x) -1/2)

series695.0ms (0.8%)

Counts
4 → 46
Calls

4 calls:

186.0ms
(-.f64 (+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps))) (sin.f64 x))
180.0ms
(*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6)))
168.0ms
(*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps))
160.0ms
(+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 (*.f64 x x) -1/2) 1) (sin.f64 eps)))
Compiler

Compiled 1639 to 1287 computations (21.5% saved)

simplify88.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049733623
149733623

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2)))
0.0b
(sqrt.f64 (-.f64 (cos.f64 (*.f64 eps 1/2)) (*.f64 x (sin.f64 (*.f64 eps 1/2)))))
0.0b
(-.f64 (cos.f64 (*.f64 eps 1/2)) (*.f64 x (sin.f64 (*.f64 eps 1/2))))
0.0b
(+.f64 x (+.f64 x eps))
0.1b
(*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
0.1b
(*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (-.f64 (cos.f64 (*.f64 eps 1/2)) (*.f64 x (sin.f64 (*.f64 eps 1/2))))))
0.1b
(*.f64 x (sin.f64 (*.f64 eps 1/2)))
4.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))

rewrite40.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_1464
13×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 pow1_binary64_1503
12×associate-*r*_binary64_1382
11×add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
10×associate-*l*_binary64_1383
7×sqrt-prod_binary64_1458
5×cbrt-unprod_binary64_1475 pow-prod-down_binary64_1513 prod-exp_binary64_1491
4×add-log-exp_binary64_1481
3×*-commutative_binary64_1373 unswap-sqr_binary64_1410
2×associate-*r/_binary64_1384 sqrt-div_binary64_1459
1×flip3--_binary64_1446 flip--_binary64_1417
Counts
4 → 70
Calls

8 calls:

10.0ms
(*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (-.f64 (cos.f64 (*.f64 eps 1/2)) (*.f64 x (sin.f64 (*.f64 eps 1/2))))))
9.0ms
(*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
8.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
5.0ms
(*.f64 x (sin.f64 (*.f64 eps 1/2)))
0.0ms
(+.f64 x (+.f64 x eps))

series716.0ms (0.9%)

Counts
4 → 37
Calls

4 calls:

326.0ms
(*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (-.f64 (cos.f64 (*.f64 eps 1/2)) (*.f64 x (sin.f64 (*.f64 eps 1/2))))))
240.0ms
(*.f64 (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))) (sin.f64 (/.f64 eps 2)))
89.0ms
(*.f64 x (sin.f64 (*.f64 eps 1/2)))
61.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))
Compiler

Compiled 2397 to 1965 computations (18% saved)

simplify73.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050262870

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 1/24 (pow.f64 eps 4))
0.0b
(exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))
0.0b
(*.f64 1/2 (*.f64 eps eps))
0.0b
(+.f64 (-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps)))
1.2b
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))
1.9b
(log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))))
6.6b
(-.f64 (+.f64 (-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
22.7b
(-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6)))))

rewrite38.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
14×add-log-exp_binary64_1481
13×add-sqr-sqrt_binary64_1464
11×*-un-lft-identity_binary64_1442
10×log-prod_binary64_1528
9×add-cube-cbrt_binary64_1477
7×pow1_binary64_1503
6×associate--l+_binary64_1379 add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
5×diff-log_binary64_1534
4×cancel-sign-sub-inv_binary64_1408 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392 exp-sum_binary64_1488
3×associate-*r*_binary64_1382 log-pow_binary64_1531 associate-*l*_binary64_1383
2×associate-*r/_binary64_1384 sum-log_binary64_1533 sub-neg_binary64_1435 flip3--_binary64_1446 flip--_binary64_1417 associate--r+_binary64_1378
1×associate--l-_binary64_1380 cbrt-unprod_binary64_1475 rem-log-exp_binary64_1483 pow-prod-down_binary64_1513 *-commutative_binary64_1373 exp-prod_binary64_1494 flip3-+_binary64_1445 flip-+_binary64_1416 exp-to-pow_binary64_1504 prod-exp_binary64_1491 associate-+l-_binary64_1377 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_1410
Counts
4 → 77
Calls

8 calls:

10.0ms
(-.f64 (+.f64 (-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
10.0ms
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))
6.0ms
(-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6)))))
2.0ms
(log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))))
0.0ms
(+.f64 (-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps)))

series1.8s (2.1%)

Counts
4 → 46
Calls

4 calls:

610.0ms
(-.f64 (+.f64 (-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6))))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
502.0ms
(-.f64 (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1)))) (*.f64 (sin.f64 x) (+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/720 (pow.f64 eps 6)))))
478.0ms
(log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))))
191.0ms
(*.f64 (sin.f64 x) (+.f64 (*.f64 1/24 (pow.f64 eps 4)) 1))
Compiler

Compiled 2426 to 1829 computations (24.6% saved)

simplify129.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
049503905
149503905

prune21.5s (25.9%)

Pruning

587 alts after pruning (574 fresh and 13 done)

PrunedKeptTotal
New330215545
Fresh19359378
Picked000
Done21315
Total351587938
Error
0.0b
Counts
938 → 587
Compiler

Compiled 12165 to 7018 computations (42.3% saved)

simplify512.0ms (0.6%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0516336581

regimes5.6s (6.8%)

Compiler

Compiled 59286 to 43496 computations (26.6% saved)

bsearch0.0ms (0%)

regimes2.4s (2.9%)

Compiler

Compiled 25246 to 19337 computations (23.4% saved)

bsearch0.0ms (0%)

regimes1.7s (2.1%)

Compiler

Compiled 14581 to 11393 computations (21.9% saved)

bsearch0.0ms (0%)

regimes950.0ms (1.1%)

Compiler

Compiled 8948 to 7104 computations (20.6% saved)

bsearch0.0ms (0%)

regimes727.0ms (0.9%)

Compiler

Compiled 5300 to 4248 computations (19.8% saved)

bsearch73.0ms (0.1%)

Steps
ItersRangePoint
6
0.00708311433991178
0.03223677136493558
0.02822313514968131
10
-111376364.97552066
-1.1234996570361803e-07
-0.14127533727766742
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes699.0ms (0.8%)

Compiler

Compiled 5129 to 4131 computations (19.5% saved)

bsearch67.0ms (0.1%)

Steps
ItersRangePoint
6
0.00708311433991178
0.03223677136493558
0.026056827129505016
10
-111376364.97552066
-1.1234996570361803e-07
-0.005528182842280636
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes337.0ms (0.4%)

Compiler

Compiled 2607 to 2168 computations (16.8% saved)

bsearch0.0ms (0%)

regimes357.0ms (0.4%)

Compiler

Compiled 1515 to 1307 computations (13.7% saved)

bsearch104.0ms (0.1%)

Steps
ItersRangePoint
7
0.0009127079574308088
0.03487550222916878
0.0009627452477608859
10
-46903560.99821278
-0.0007943561357028496
-0.002102626412248292
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes227.0ms (0.3%)

Compiler

Compiled 834 to 725 computations (13.1% saved)

bsearch46.0ms (0.1%)

Steps
ItersRangePoint
7
3.8358806585193686e-13
2.3532559601844567e-11
2.3195472044197997e-11
5
-282670329.67226493
-111376364.97552066
-112837442.24806044
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes113.0ms (0.1%)

Compiler

Compiled 394 to 336 computations (14.7% saved)

bsearch79.0ms (0.1%)

Steps
ItersRangePoint
7
3.8358806585193686e-13
2.3532559601844567e-11
2.3195472044197997e-11
8
-1.1234996570361803e-07
-9.54430501678926e-11
-1.1115726505891959e-07
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes46.0ms (0.1%)

Compiler

Compiled 110 to 112 computations (-1.8% saved)

bsearch0.0ms (0%)

regimes43.0ms (0.1%)

Compiler

Compiled 98 to 98 computations (0% saved)

bsearch36.0ms (0%)

Steps
ItersRangePoint
7
13172758580039002.0
3.127023558542168e+17
3.337728541767795e+16
5
-1516284764.7641604
-738730565.647509
-764806318.5569421
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes22.0ms (0%)

Compiler

Compiled 10 to 24 computations (-140% saved)

bsearch17.0ms (0%)

Steps
ItersRangePoint
5
-1516284764.7641604
-738730565.647509
-1042947682.9242277
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes16.0ms (0%)

Accuracy

Total 0.4b remaining (93.9%)

Threshold costs 0.4b (93.9%)

Compiler

Compiled 8 to 18 computations (-125% saved)

bsearch15.0ms (0%)

Compiler

Compiled 273 to 203 computations (25.6% saved)

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0237389
1237389

end0.0ms (0%)

sample22.7s (27.4%)

Algorithm
1×intervals
Results
1.1s3514×body1024valid
688.0ms1247×body2048valid
270.0ms1335×body512valid
92.0ms1310×body128valid
77.0ms592×body256valid
2.0ms2×body4096valid
Compiler

Compiled 20492 to 15075 computations (26.4% saved)

Pareto

0.6702958056386743

Profiling

Loading profile data...