Details

Time bar (total: 33.5s)

analyze5.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%25%75%0
25%0%75%1
Compiler

Compiled 13 to 7 computations (46.2% saved)

sample15.0ms (0%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
5.0ms256×pre128true
Compiler

Compiled 22 to 12 computations (45.5% saved)

simplify246.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (156.0ms)

IterNodesCost
0476210
1476210

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 7 to 5 computations (28.6% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))
0.0b
(+.f64 (*.f64 x x) (pow.f64 x 3))

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_3527
2×cube-mult_binary64_3518
1×distribute-rgt-out_binary64_3441 unpow3_binary64_3554 distribute-lft-out_binary64_3439 add-cbrt-cube_binary64_3524 add-sqr-sqrt_binary64_3510 add-exp-log_binary64_3526 distribute-rgt1-in_binary64_3444 flip-+_binary64_3462 flip3-+_binary64_3491 +-commutative_binary64_3418 add-cube-cbrt_binary64_3523 sum-log_binary64_3579 *-un-lft-identity_binary64_3488 pow1_binary64_3549
Counts
1 → 14
Calls

2 calls:

6.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
0.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))

series59.0ms (0.2%)

Counts
1 → 6
Calls

1 calls:

59.0ms
(+.f64 (*.f64 x x) (pow.f64 x 3))
Compiler

Compiled 51 to 45 computations (11.8% saved)

simplify101.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04919217
14919217

localize4.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 x (*.f64 x x))
0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
0.1b
(*.f64 x (*.f64 x x))

rewrite15.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_3549
10×add-cbrt-cube_binary64_3524
7×add-exp-log_binary64_3526
5×pow-prod-up_binary64_3558
4×add-sqr-sqrt_binary64_3510 add-log-exp_binary64_3527
3×associate-*l*_binary64_3429 cbrt-unprod_binary64_3521 pow-prod-down_binary64_3559 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488 prod-exp_binary64_3537
1×distribute-lft-out_binary64_3439 unswap-sqr_binary64_3456 flip-+_binary64_3462 flip3-+_binary64_3491 distribute-lft1-in_binary64_3443 +-commutative_binary64_3418 pow2_binary64_3569 associate-*r*_binary64_3428 pow-plus_binary64_3551 rem-3cbrt-rft_binary64_3514 *-commutative_binary64_3419 sum-log_binary64_3579 pow-sqr_binary64_3461 cube-unmult_binary64_3525
Counts
2 → 38
Calls

4 calls:

7.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
5.0ms
(*.f64 x (*.f64 x x))
0.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
0.0ms
(*.f64 x (*.f64 x x))

series79.0ms (0.2%)

Counts
2 → 9
Calls

2 calls:

51.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
28.0ms
(*.f64 x (*.f64 x x))
Compiler

Compiled 93 to 75 computations (19.4% saved)

simplify119.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (105.0ms)

IterNodesCost
04931316
14931316

prune153.0ms (0.5%)

Pruning

24 alts after pruning (22 fresh and 2 done)

PrunedKeptTotal
New452267
Fresh000
Picked000
Done022
Total452469
Error
0b
Counts
69 → 24
Compiler

Compiled 599 to 350 computations (41.6% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (+.f64 x (*.f64 x x)))
0.0b
(*.f64 x (+.f64 x (*.f64 x x)))

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_3510 associate-*r*_binary64_3428
4×*-un-lft-identity_binary64_3488
3×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526 associate-*l*_binary64_3429 add-cube-cbrt_binary64_3523 pow1_binary64_3549
2×associate-*r/_binary64_3430
1×distribute-rgt-out_binary64_3441 distribute-lft-in_binary64_3437 distribute-rgt-in_binary64_3438 unswap-sqr_binary64_3456 distribute-rgt1-in_binary64_3444 flip-+_binary64_3462 flip3-+_binary64_3491 cbrt-unprod_binary64_3521 pow-prod-down_binary64_3559 add-log-exp_binary64_3527 *-commutative_binary64_3419 prod-exp_binary64_3537
Counts
1 → 24
Calls

2 calls:

6.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
0.0ms
(*.f64 x (+.f64 x (*.f64 x x)))

series59.0ms (0.2%)

Counts
1 → 6
Calls

1 calls:

59.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
Compiler

Compiled 51 to 45 computations (11.8% saved)

simplify98.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
04925319
14925319

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:

0.1b
(*.f64 x (*.f64 x x))
0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
0.0b
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
0.1b
(*.f64 x (*.f64 x x))

rewrite18.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_3549
10×add-cbrt-cube_binary64_3524
7×add-exp-log_binary64_3526
5×pow-prod-up_binary64_3558
4×add-sqr-sqrt_binary64_3510 add-log-exp_binary64_3527
3×associate-*l*_binary64_3429 cbrt-unprod_binary64_3521 pow-prod-down_binary64_3559 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488 prod-exp_binary64_3537
1×distribute-lft-out_binary64_3439 unswap-sqr_binary64_3456 flip-+_binary64_3462 flip3-+_binary64_3491 distribute-lft1-in_binary64_3443 +-commutative_binary64_3418 pow2_binary64_3569 associate-*r*_binary64_3428 pow-plus_binary64_3551 rem-3cbrt-rft_binary64_3514 *-commutative_binary64_3419 sum-log_binary64_3579 pow-sqr_binary64_3461 cube-unmult_binary64_3525
Counts
2 → 38
Calls

4 calls:

9.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
7.0ms
(*.f64 x (*.f64 x x))
0.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
0.0ms
(*.f64 x (*.f64 x x))

series89.0ms (0.3%)

Counts
2 → 9
Calls

2 calls:

60.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
29.0ms
(*.f64 x (*.f64 x x))
Compiler

Compiled 123 to 105 computations (14.6% saved)

simplify107.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
04931316
14931316

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

2.6b
(log.f64 (exp.f64 (pow.f64 x 3)))
0.0b
(+.f64 (log.f64 (exp.f64 (pow.f64 x 3))) (*.f64 x x))
0.0b
(+.f64 (log.f64 (exp.f64 (pow.f64 x 3))) (*.f64 x x))
2.6b
(log.f64 (exp.f64 (pow.f64 x 3)))

rewrite16.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
14×log-pow_binary64_3577
13×exp-prod_binary64_3540
7×add-sqr-sqrt_binary64_3510 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
6×log-prod_binary64_3574
3×unpow-prod-down_binary64_3567 cube-prod_binary64_3516 add-log-exp_binary64_3527 associate-+l+_binary64_3421 pow1_binary64_3549
2×unpow3_binary64_3554 add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526
1×rem-log-exp_binary64_3529 distribute-lft-out_binary64_3439 flip-+_binary64_3462 flip3-+_binary64_3491 +-commutative_binary64_3418 sqr-pow_binary64_3460 cube-mult_binary64_3518 sum-log_binary64_3579
Counts
2 → 39
Calls

4 calls:

9.0ms
(+.f64 (log.f64 (exp.f64 (pow.f64 x 3))) (*.f64 x x))
4.0ms
(log.f64 (exp.f64 (pow.f64 x 3)))
0.0ms
(+.f64 (log.f64 (exp.f64 (pow.f64 x 3))) (*.f64 x x))
0.0ms
(log.f64 (exp.f64 (pow.f64 x 3)))

series205.0ms (0.6%)

Counts
2 → 9
Calls

2 calls:

118.0ms
(+.f64 (log.f64 (exp.f64 (pow.f64 x 3))) (*.f64 x x))
87.0ms
(log.f64 (exp.f64 (pow.f64 x 3)))
Compiler

Compiled 109 to 91 computations (16.5% saved)

simplify99.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
05018385

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

43.6b
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
0.0b
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0b
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
43.6b
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))

rewrite68.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
206×add-sqr-sqrt_binary64_3510
159×difference-of-squares_binary64_3457
117×times-frac_binary64_3494
84×unpow-prod-down_binary64_3567
82×sqr-pow_binary64_3460
51×*-un-lft-identity_binary64_3488
29×add-cube-cbrt_binary64_3523
26×distribute-lft-out--_binary64_3440
15×unpow3_binary64_3554 cube-prod_binary64_3516 distribute-rgt-out--_binary64_3442 cube-mult_binary64_3518
13×associate-/l*_binary64_3433
9×associate-/r*_binary64_3432
8×cancel-sign-sub-inv_binary64_3454
7×add-log-exp_binary64_3527
5×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526
4×flip3--_binary64_3492 flip--_binary64_3463
3×pow1_binary64_3549
2×associate-/l/_binary64_3435 diff-log_binary64_3580 associate-/r/_binary64_3434 sub-neg_binary64_3481
1×clear-num_binary64_3487 frac-2neg_binary64_3499 div-exp_binary64_3539 cbrt-undiv_binary64_3522 div-sub_binary64_3493 div-inv_binary64_3485
Counts
3 → 202
Calls

6 calls:

22.0ms
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
9.0ms
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
7.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0ms
(-.f64 (pow.f64 x 6) (pow.f64 x 4))

series258.0ms (0.8%)

Counts
3 → 18
Calls

3 calls:

123.0ms
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
75.0ms
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
59.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))
Compiler

Compiled 301 to 238 computations (20.9% saved)

simplify142.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
220 → 220
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
049236332
149236332

prune2.4s (7.1%)

Pruning

124 alts after pruning (118 fresh and 6 done)

PrunedKeptTotal
New240105345
Fresh41317
Picked000
Done167
Total245124369
Error
0b
Counts
369 → 124
Compiler

Compiled 6044 to 3880 computations (35.8% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (+.f64 x (*.f64 x x)))
0.0b
(*.f64 x (+.f64 x (*.f64 x x)))

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_3510 associate-*r*_binary64_3428
4×*-un-lft-identity_binary64_3488
3×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526 associate-*l*_binary64_3429 add-cube-cbrt_binary64_3523 pow1_binary64_3549
2×associate-*r/_binary64_3430
1×distribute-rgt-out_binary64_3441 distribute-lft-in_binary64_3437 distribute-rgt-in_binary64_3438 unswap-sqr_binary64_3456 distribute-rgt1-in_binary64_3444 flip-+_binary64_3462 flip3-+_binary64_3491 cbrt-unprod_binary64_3521 pow-prod-down_binary64_3559 add-log-exp_binary64_3527 *-commutative_binary64_3419 prod-exp_binary64_3537
Counts
1 → 24
Calls

2 calls:

6.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
0.0ms
(*.f64 x (+.f64 x (*.f64 x x)))

series54.0ms (0.2%)

Counts
1 → 6
Calls

1 calls:

54.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
Compiler

Compiled 69 to 63 computations (8.7% saved)

simplify96.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04925319
14925319

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (*.f64 x x) (+.f64 1 x))
0.0b
(*.f64 (*.f64 x x) (+.f64 1 x))

rewrite11.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526 pow1_binary64_3549
4×associate-*r*_binary64_3428 *-un-lft-identity_binary64_3488
3×add-sqr-sqrt_binary64_3510 cbrt-unprod_binary64_3521 pow-prod-down_binary64_3559 prod-exp_binary64_3537
2×associate-*r/_binary64_3430 add-cube-cbrt_binary64_3523
1×distribute-lft-in_binary64_3437 distribute-lft-out_binary64_3439 distribute-rgt-in_binary64_3438 unswap-sqr_binary64_3456 flip-+_binary64_3462 flip3-+_binary64_3491 associate-*l*_binary64_3429 add-log-exp_binary64_3527 *-commutative_binary64_3419
Counts
1 → 24
Calls

2 calls:

9.0ms
(*.f64 (*.f64 x x) (+.f64 1 x))
0.0ms
(*.f64 (*.f64 x x) (+.f64 1 x))

series48.0ms (0.1%)

Counts
1 → 6
Calls

1 calls:

48.0ms
(*.f64 (*.f64 x x) (+.f64 1 x))
Compiler

Compiled 51 to 45 computations (11.8% saved)

simplify64.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04921312
14921312

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (pow.f64 (pow.f64 x 3) 1) (*.f64 x x))
0.0b
(+.f64 (pow.f64 (pow.f64 x 3) 1) (*.f64 x x))

rewrite9.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_3527
1×add-cbrt-cube_binary64_3524 add-sqr-sqrt_binary64_3510 add-exp-log_binary64_3526 flip-+_binary64_3462 flip3-+_binary64_3491 +-commutative_binary64_3418 add-cube-cbrt_binary64_3523 sum-log_binary64_3579 *-un-lft-identity_binary64_3488 pow1_binary64_3549
Counts
1 → 11
Calls

2 calls:

8.0ms
(+.f64 (pow.f64 (pow.f64 x 3) 1) (*.f64 x x))
0.0ms
(+.f64 (pow.f64 (pow.f64 x 3) 1) (*.f64 x x))

series49.0ms (0.1%)

Counts
1 → 6
Calls

1 calls:

48.0ms
(+.f64 (pow.f64 (pow.f64 x 3) 1) (*.f64 x x))
Compiler

Compiled 69 to 63 computations (8.7% saved)

simplify54.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04979199
14979199

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

45.7b
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))
3.4b
(log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))))
0.0b
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0b
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
3.4b
(log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))))
45.7b
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))

rewrite92.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
278×add-sqr-sqrt_binary64_3510
199×difference-of-squares_binary64_3457
169×times-frac_binary64_3494
150×log-pow_binary64_3577
135×exp-prod_binary64_3540
109×unpow-prod-down_binary64_3567
107×sqr-pow_binary64_3460
80×*-un-lft-identity_binary64_3488
50×add-cube-cbrt_binary64_3523
31×distribute-lft-out--_binary64_3440
19×pow1_binary64_3549
16×unpow3_binary64_3554 cube-prod_binary64_3516 distribute-rgt-out--_binary64_3442 cube-mult_binary64_3518
13×associate-/r*_binary64_3432 associate-/l*_binary64_3433
9×cancel-sign-sub-inv_binary64_3454
8×add-log-exp_binary64_3527
6×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526
5×log-prod_binary64_3574
3×flip3--_binary64_3492 flip--_binary64_3463 sub-neg_binary64_3481
2×exp-sum_binary64_3534 associate-/l/_binary64_3435 diff-log_binary64_3580
1×rem-log-exp_binary64_3529 clear-num_binary64_3487 frac-2neg_binary64_3499 log-div_binary64_3575 exp-diff_binary64_3536 div-exp_binary64_3539 cbrt-undiv_binary64_3522 div-sub_binary64_3493 div-inv_binary64_3485
Counts
4 → 280
Calls

8 calls:

25.0ms
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))
8.0ms
(log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))))
8.0ms
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
7.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))

series671.0ms (2%)

Counts
4 → 22
Calls

4 calls:

386.0ms
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))
138.0ms
(log.f64 (exp.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))))
91.0ms
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
56.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))
Compiler

Compiled 548 to 445 computations (18.8% saved)

simplify130.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
302 → 302
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
052859099

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

2.4b
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
2.4b
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
0.0b
(+.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))) (*.f64 x x))
0.0b
(+.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))) (*.f64 x x))
2.4b
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
2.4b
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))

rewrite60.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
30×log-pow_binary64_3577
26×sqrt-pow1_binary64_3506
24×exp-prod_binary64_3540
13×add-sqr-sqrt_binary64_3510 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
12×log-prod_binary64_3574
7×pow1_binary64_3549
6×unpow-prod-down_binary64_3567 cube-prod_binary64_3516 add-log-exp_binary64_3527 sqrt-prod_binary64_3504
5×add-exp-log_binary64_3526
3×add-cbrt-cube_binary64_3524 sum-log_binary64_3579
2×unpow3_binary64_3554 rem-log-exp_binary64_3529 pow1/2_binary64_3568 sqr-pow_binary64_3460 cube-mult_binary64_3518
1×flip-+_binary64_3462 flip3-+_binary64_3491 +-commutative_binary64_3418 associate-+l+_binary64_3421
Counts
3 → 71
Calls

6 calls:

41.0ms
(+.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))) (*.f64 x x))
6.0ms
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
5.0ms
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
0.0ms
(+.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))) (*.f64 x x))
0.0ms
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))

series359.0ms (1.1%)

Counts
3 → 12
Calls

3 calls:

151.0ms
(+.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))) (*.f64 x x))
105.0ms
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
103.0ms
(log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3))))
Compiler

Compiled 271 to 229 computations (15.5% saved)

simplify82.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04993761
14993761

prune6.6s (19.6%)

Pruning

205 alts after pruning (195 fresh and 10 done)

PrunedKeptTotal
New36696462
Fresh1499113
Picked000
Done11011
Total381205586
Error
0b
Counts
586 → 205
Compiler

Compiled 10140 to 6722 computations (33.7% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (+.f64 x (*.f64 x x)))
0.0b
(*.f64 x (+.f64 x (*.f64 x x)))

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_3510 associate-*r*_binary64_3428
4×*-un-lft-identity_binary64_3488
3×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526 associate-*l*_binary64_3429 add-cube-cbrt_binary64_3523 pow1_binary64_3549
2×associate-*r/_binary64_3430
1×distribute-rgt-out_binary64_3441 distribute-lft-in_binary64_3437 distribute-rgt-in_binary64_3438 unswap-sqr_binary64_3456 distribute-rgt1-in_binary64_3444 flip-+_binary64_3462 flip3-+_binary64_3491 cbrt-unprod_binary64_3521 pow-prod-down_binary64_3559 add-log-exp_binary64_3527 *-commutative_binary64_3419 prod-exp_binary64_3537
Counts
1 → 24
Calls

2 calls:

6.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
0.0ms
(*.f64 x (+.f64 x (*.f64 x x)))

series53.0ms (0.2%)

Counts
1 → 6
Calls

1 calls:

53.0ms
(*.f64 x (+.f64 x (*.f64 x x)))
Compiler

Compiled 87 to 81 computations (6.9% saved)

simplify96.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04925319
14925319

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

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(cbrt.f64 (+.f64 1 x))
0.0b
(cbrt.f64 (+.f64 x 1))
0.0b
(cbrt.f64 (+.f64 x 1))
0.0b
(*.f64 (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (+.f64 1 x)))
0.0b
(cbrt.f64 (+.f64 x 1))
0.0b
(*.f64 (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (+.f64 1 x)))
0.0b
(*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
0.1b
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))

rewrite83.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
80×cbrt-div_binary64_3520
57×pow1_binary64_3549
44×associate-*r/_binary64_3430
40×flip-+_binary64_3462 flip3-+_binary64_3491
36×add-exp-log_binary64_3526 frac-times_binary64_3498
33×*-un-lft-identity_binary64_3488
32×cbrt-prod_binary64_3519
29×pow-prod-down_binary64_3559
23×add-sqr-sqrt_binary64_3510
22×cbrt-unprod_binary64_3521 prod-exp_binary64_3537
21×add-cbrt-cube_binary64_3524
18×associate-*l/_binary64_3431
15×associate-*r*_binary64_3428 add-cube-cbrt_binary64_3523
9×swap-sqr_binary64_3455 associate-*l*_binary64_3429
8×distribute-lft-out_binary64_3439
7×pow1/3_binary64_3570
6×pow-prod-up_binary64_3558
5×unswap-sqr_binary64_3456 pow-plus_binary64_3551
4×add-log-exp_binary64_3527 pow-sqr_binary64_3461
3×pow2_binary64_3569 *-commutative_binary64_3419
Counts
4 → 161
Calls

8 calls:

26.0ms
(*.f64 (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (+.f64 1 x)))
20.0ms
(*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
11.0ms
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
3.0ms
(cbrt.f64 (+.f64 x 1))
0.0ms
(*.f64 (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (+.f64 1 x)))

series191.0ms (0.6%)

Counts
4 → 28
Calls

4 calls:

61.0ms
(*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
52.0ms
(*.f64 (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (+.f64 1 x)))
48.0ms
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
30.0ms
(cbrt.f64 (+.f64 x 1))
Compiler

Compiled 630 to 527 computations (16.3% saved)

simplify127.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
049243456
149243456

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

10.5b
(sqrt.f64 (pow.f64 x 6))
0.0b
(+.f64 (*.f64 x x) (sqrt.f64 (pow.f64 x 6)))
0.0b
(-.f64 (sqrt.f64 (pow.f64 x 6)) (*.f64 x x))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0b
(+.f64 (*.f64 x x) (sqrt.f64 (pow.f64 x 6)))
10.5b
(sqrt.f64 (pow.f64 x 6))
10.5b
(sqrt.f64 (pow.f64 x 6))
27.2b
(/.f64 (-.f64 (sqrt.f64 (pow.f64 x 6)) (*.f64 x x)) (-.f64 (pow.f64 x 3) (*.f64 x x)))

rewrite51.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
84×add-sqr-sqrt_binary64_3510
72×difference-of-squares_binary64_3457
63×times-frac_binary64_3494
44×sqrt-prod_binary64_3504
26×unpow-prod-down_binary64_3567 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
22×sqr-pow_binary64_3460
9×associate-/r*_binary64_3432
8×unpow3_binary64_3554 distribute-lft-out--_binary64_3440 cube-prod_binary64_3516 distribute-rgt-out--_binary64_3442 cube-mult_binary64_3518
7×associate-/l*_binary64_3433
6×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526 add-log-exp_binary64_3527 rem-sqrt-square_binary64_3501
4×pow1_binary64_3549
2×flip3--_binary64_3492 associate-/l/_binary64_3435 associate-/r/_binary64_3434 pow1/2_binary64_3568 flip--_binary64_3463 sqrt-pow1_binary64_3506
1×clear-num_binary64_3487 flip-+_binary64_3462 flip3-+_binary64_3491 +-commutative_binary64_3418 frac-2neg_binary64_3499 div-exp_binary64_3539 sum-log_binary64_3579 cbrt-undiv_binary64_3522 div-sub_binary64_3493 div-inv_binary64_3485
Counts
4 → 145
Calls

8 calls:

14.0ms
(/.f64 (-.f64 (sqrt.f64 (pow.f64 x 6)) (*.f64 x x)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
6.0ms
(+.f64 (*.f64 x x) (sqrt.f64 (pow.f64 x 6)))
2.0ms
(sqrt.f64 (pow.f64 x 6))
2.0ms
(sqrt.f64 (pow.f64 x 6))
0.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))

series135.0ms (0.4%)

Counts
4 → 15
Calls

4 calls:

60.0ms
(+.f64 (*.f64 x x) (sqrt.f64 (pow.f64 x 6)))
32.0ms
(sqrt.f64 (pow.f64 x 6))
30.0ms
(sqrt.f64 (pow.f64 x 6))
13.0ms
(/.f64 (-.f64 (sqrt.f64 (pow.f64 x 6)) (*.f64 x x)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
Compiler

Compiled 569 to 367 computations (35.5% saved)

simplify67.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
050414105

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(-.f64 (pow.f64 x 6) (pow.f64 x 4))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
0.0b
(-.f64 (pow.f64 x 3) (*.f64 x x))
18.9b
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 (cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))) (cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))
27.6b
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
27.6b
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
27.6b
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))

rewrite65.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
42×add-sqr-sqrt_binary64_3510
30×difference-of-squares_binary64_3457
27×cbrt-prod_binary64_3519
18×cbrt-div_binary64_3520
15×unpow-prod-down_binary64_3567 sqr-pow_binary64_3460
13×times-frac_binary64_3494 associate-/l*_binary64_3433 *-un-lft-identity_binary64_3488
10×flip3--_binary64_3492 flip--_binary64_3463
9×add-exp-log_binary64_3526 add-cube-cbrt_binary64_3523
8×associate-/r/_binary64_3434
7×add-cbrt-cube_binary64_3524
5×distribute-lft-out--_binary64_3440
4×frac-times_binary64_3498 add-log-exp_binary64_3527 pow1_binary64_3549
3×unpow3_binary64_3554 cube-prod_binary64_3516 distribute-rgt-out--_binary64_3442 cube-mult_binary64_3518 pow1/3_binary64_3570
2×associate-*l/_binary64_3431 associate-/l/_binary64_3435 associate-*r/_binary64_3430 div-exp_binary64_3539 cbrt-undiv_binary64_3522
1×clear-num_binary64_3487 associate-/r*_binary64_3432 cbrt-unprod_binary64_3521 frac-2neg_binary64_3499 div-sub_binary64_3493 div-inv_binary64_3485 prod-exp_binary64_3537
Counts
4 → 109
Calls

8 calls:

26.0ms
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 (cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))) (cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))
9.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
7.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
7.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
0.0ms
(-.f64 (pow.f64 x 3) (*.f64 x x))

series278.0ms (0.8%)

Counts
4 → 27
Calls

4 calls:

72.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
72.0ms
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 (cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))) (cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))))
66.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
66.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))
Compiler

Compiled 1325 to 996 computations (24.8% saved)

simplify81.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049343369
149343369

prune16.9s (50.4%)

Pruning

364 alts after pruning (351 fresh and 13 done)

PrunedKeptTotal
New332183515
Fresh22168190
Picked000
Done21315
Total356364720
Error
0b
Counts
720 → 364
Compiler

Compiled 11142 to 6748 computations (39.4% saved)

simplify405.0ms (1.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
0511826768

regimes1.4s (4.2%)

Compiler

Compiled 13423 to 9218 computations (31.3% saved)

bsearch0.0ms (0%)

regimes10.0ms (0%)

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch0.0ms (0%)

regimes9.0ms (0%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch2.0ms (0%)

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0916
1916

end0.0ms (0%)

sample705.0ms (2.1%)

Algorithm
1×intervals
Results
163.0ms8000×body128valid
113.0ms8000×pre128true
Compiler

Compiled 13465 to 9249 computations (31.3% saved)

Profiling

Loading profile data...