Details

Time bar (total: 25.9s)

analyze4.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
87.5%12.5%0%4
93.7%6.2%0%5
96.8%3.1%0%6
98.4%1.6%0%7
99.2%0.8%0%8
99.6%0.4%0%9
99.8%0.2%0%10
99.9%0.1%0%11
99.9%0%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample36.0ms (0.1%)

Algorithm
1×intervals
Results
24.0ms128×body2048valid
5.0ms128×body128valid
Compiler

Compiled 25 to 18 computations (28% saved)

simplify99.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0979
1979

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 6 to 5 computations (16.7% saved)

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

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

28.1b
(sqrt.f64 (*.f64 x x))
6.8b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
0.1b
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
0.1b
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
6.8b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
28.1b
(sqrt.f64 (*.f64 x x))

rewrite28.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
27×pow1_binary64_480
22×add-sqr-sqrt_binary64_441
14×sqrt-pow1_binary64_437
13×*-un-lft-identity_binary64_419 times-frac_binary64_425 associate-*l*_binary64_360
12×add-exp-log_binary64_457
11×add-cube-cbrt_binary64_454 pow-prod-up_binary64_489
8×add-cbrt-cube_binary64_455
6×unswap-sqr_binary64_387
5×add-log-exp_binary64_458 sqrt-prod_binary64_435
4×inv-pow_binary64_504 associate-*r*_binary64_359 prod-exp_binary64_468 pow-flip_binary64_493
3×associate-*l/_binary64_362 pow-plus_binary64_482 pow-sqr_binary64_392 pow2_binary64_500
2×pow-prod-down_binary64_490 cbrt-unprod_binary64_452 div-exp_binary64_470
1×1-exp_binary64_463 sub-neg_binary64_412 pow1/2_binary64_499 div-inv_binary64_416 flip3--_binary64_423 rec-exp_binary64_469 *-commutative_binary64_350 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385 rem-sqrt-square_binary64_432 sub-div_binary64_426 frac-sub_binary64_428 cbrt-undiv_binary64_453
Counts
3 → 77
Calls

6 calls:

11.0ms
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
8.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
3.0ms
(sqrt.f64 (*.f64 x x))
0.0ms
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
0.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))

series25.0ms (0.1%)

Counts
3 → 9
Calls

3 calls:

13.0ms
(sqrt.f64 (*.f64 x x))
6.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
6.0ms
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify81.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04888577
14888577

prune374.0ms (1.4%)

Pruning

43 alts after pruning (42 fresh and 1 done)

PrunedKeptTotal
New444286
Fresh000
Picked000
Done112
Total454388
Error
0b
Counts
88 → 43
Compiler

Compiled 1286 to 689 computations (46.4% saved)

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

localize4.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%)

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 6 expressions with local error:

30.5b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))
5.7b
(exp.f64 (log.f64 (fabs.f64 x)))
0.1b
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
0.1b
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
5.7b
(exp.f64 (log.f64 (fabs.f64 x)))
30.5b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))

rewrite27.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64_441
16×*-un-lft-identity_binary64_419
14×add-cube-cbrt_binary64_454
13×times-frac_binary64_425 associate-*l*_binary64_360
9×log-prod_binary64_505 exp-sum_binary64_465
8×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
6×associate-*r*_binary64_359 unswap-sqr_binary64_387 pow1_binary64_480
5×add-log-exp_binary64_458
4×prod-exp_binary64_468 exp-prod_binary64_471
3×associate-*l/_binary64_362
2×cbrt-unprod_binary64_452 div-exp_binary64_470
1×pow-prod-down_binary64_490 1-exp_binary64_463 sub-neg_binary64_412 div-inv_binary64_416 flip3--_binary64_423 rec-exp_binary64_469 log-pow_binary64_508 *-commutative_binary64_350 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385 rem-exp-log_binary64_459 sub-div_binary64_426 frac-sub_binary64_428 cbrt-undiv_binary64_453
Counts
3 → 70
Calls

6 calls:

11.0ms
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
8.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))
2.0ms
(exp.f64 (log.f64 (fabs.f64 x)))
0.0ms
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
0.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))

series268.0ms (1%)

Counts
3 → 12
Calls

3 calls:

108.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))
103.0ms
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
58.0ms
(exp.f64 (log.f64 (fabs.f64 x)))
Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify88.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
05023717

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b
(cbrt.f64 (/.f64 1 x))
0.5b
(*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x)))
0.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.2b
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
19.1b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite30.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
39×cbrt-prod_binary64_450
27×times-frac_binary64_425
25×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
15×cbrt-div_binary64_451
7×associate-*r/_binary64_361 frac-sub_binary64_428
6×add-log-exp_binary64_458
5×associate-*l/_binary64_362 frac-times_binary64_429
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×pow1/3_binary64_501 div-inv_binary64_416
1×sub-neg_binary64_412 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385
Counts
4 → 85
Calls

8 calls:

9.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
3.0ms
(cbrt.f64 (/.f64 1 x))
3.0ms
(cbrt.f64 (/.f64 1 x))
3.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))

series277.0ms (1.1%)

Counts
4 → 15
Calls

4 calls:

73.0ms
(cbrt.f64 (/.f64 1 x))
72.0ms
(cbrt.f64 (/.f64 1 x))
71.0ms
(cbrt.f64 (/.f64 1 x))
61.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
Compiler

Compiled 468 to 373 computations (20.3% saved)

simplify86.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049991317
149991317

prune1.5s (5.7%)

Pruning

80 alts after pruning (74 fresh and 6 done)

PrunedKeptTotal
New14141182
Fresh43337
Picked000
Done066
Total14580225
Error
0b
Counts
225 → 80
Compiler

Compiled 3677 to 2295 computations (37.6% saved)

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)

IterNodesCost
000

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

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

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b
(*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 x)) (cbrt.f64 (/.f64 1 x)))
0.3b
(/.f64 (cbrt.f64 1) (cbrt.f64 x))
0.2b
(*.f64 (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.2b
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 x)
17.9b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite27.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
29×cbrt-prod_binary64_450
19×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
18×times-frac_binary64_425
10×cbrt-div_binary64_451
7×associate-*r/_binary64_361 frac-sub_binary64_428
6×add-log-exp_binary64_458
5×associate-*l/_binary64_362 frac-times_binary64_429
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×pow1/3_binary64_501
2×div-inv_binary64_416
1×sub-neg_binary64_412 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385
Counts
4 → 74
Calls

8 calls:

13.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
3.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
1.0ms
(cbrt.f64 x)
0.0ms
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))

series256.0ms (1%)

Counts
4 → 15
Calls

4 calls:

72.0ms
(cbrt.f64 (/.f64 1 x))
71.0ms
(cbrt.f64 (/.f64 1 x))
68.0ms
(cbrt.f64 x)
44.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
Compiler

Compiled 486 to 391 computations (19.5% saved)

simplify77.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050531360

localize16.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))
0.1b
(/.f64 1 (sqrt.f64 x))
0.1b
(/.f64 1 (sqrt.f64 x))
0.1b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.3b
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
19.6b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite35.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
48×cbrt-prod_binary64_450
36×times-frac_binary64_425
35×cbrt-div_binary64_451
31×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
19×associate-*r/_binary64_361
17×frac-times_binary64_429
15×frac-sub_binary64_428
13×associate-*l/_binary64_362
9×sqrt-prod_binary64_435
6×add-log-exp_binary64_458
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×pow1/3_binary64_501 div-inv_binary64_416
1×sub-neg_binary64_412 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385
Counts
4 → 102
Calls

8 calls:

12.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
4.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
2.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))

series260.0ms (1%)

Counts
4 → 14
Calls

4 calls:

70.0ms
(cbrt.f64 (/.f64 1 x))
70.0ms
(cbrt.f64 (/.f64 1 x))
62.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
58.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
Compiler

Compiled 656 to 524 computations (20.1% saved)

simplify81.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049672666
149672666

prune2.5s (9.8%)

Pruning

170 alts after pruning (159 fresh and 11 done)

PrunedKeptTotal
New11392205
Fresh26769
Picked000
Done01111
Total115170285
Error
0b
Counts
285 → 170
Compiler

Compiled 8461 to 5801 computations (31.4% saved)

localize9.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

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

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b
(cbrt.f64 (/.f64 1 x))
0.5b
(*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x)))
0.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.2b
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
19.1b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite27.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
39×cbrt-prod_binary64_450
27×times-frac_binary64_425
25×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
15×cbrt-div_binary64_451
7×associate-*r/_binary64_361 frac-sub_binary64_428
6×add-log-exp_binary64_458
5×associate-*l/_binary64_362 frac-times_binary64_429
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×pow1/3_binary64_501 div-inv_binary64_416
1×sub-neg_binary64_412 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385
Counts
4 → 85
Calls

8 calls:

10.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
3.0ms
(cbrt.f64 (/.f64 1 x))
3.0ms
(cbrt.f64 (/.f64 1 x))
3.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))

series271.0ms (1%)

Counts
4 → 15
Calls

4 calls:

75.0ms
(cbrt.f64 (/.f64 1 x))
68.0ms
(cbrt.f64 (/.f64 1 x))
67.0ms
(cbrt.f64 (/.f64 1 x))
61.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
Compiler

Compiled 522 to 427 computations (18.2% saved)

simplify76.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049991317
149991317

localize21.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))
0.1b
(/.f64 1 (sqrt.f64 x))
0.1b
(/.f64 1 (sqrt.f64 x))
0.1b
(*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3)))
0.3b
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
3.0b
(pow.f64 (/.f64 1 x) 2/3)
30.8b
(-.f64 1 (*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))))
30.8b
(log.f64 (exp.f64 (-.f64 1 (*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))))))

rewrite30.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64_419 times-frac_binary64_425 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
22×cbrt-prod_binary64_450
13×unpow-prod-down_binary64_498
9×add-exp-log_binary64_457 sqrt-prod_binary64_435
7×pow1_binary64_480
6×add-log-exp_binary64_458
5×log-prod_binary64_505
4×pow-exp_binary64_487 log-pow_binary64_508 add-cbrt-cube_binary64_455
3×exp-prod_binary64_471 pow-pow_binary64_491 pow-unpow_binary64_496
2×sub-neg_binary64_412 div-inv_binary64_416 exp-sum_binary64_465 cancel-sign-sub-inv_binary64_385 div-exp_binary64_470
1×1-exp_binary64_463 pow1/3_binary64_501 exp-diff_binary64_467 cbrt-div_binary64_451 rem-log-exp_binary64_460 inv-pow_binary64_504 sqr-pow_binary64_391 flip3--_binary64_423 rec-exp_binary64_469 pow-to-exp_binary64_488 pow-flip_binary64_493 diff-log_binary64_511 flip--_binary64_394 log-div_binary64_506
Counts
4 → 93
Calls

8 calls:

5.0ms
(log.f64 (exp.f64 (-.f64 1 (*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))))))
5.0ms
(pow.f64 (/.f64 1 x) 2/3)
5.0ms
(-.f64 1 (*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))))
4.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
0.0ms
(*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3)))

series323.0ms (1.2%)

Counts
4 → 15
Calls

4 calls:

149.0ms
(log.f64 (exp.f64 (-.f64 1 (*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))))))
71.0ms
(pow.f64 (/.f64 1 x) 2/3)
58.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
44.0ms
(-.f64 1 (*.f64 (fabs.f64 x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (pow.f64 (/.f64 1 x) 2/3))))
Compiler

Compiled 538 to 473 computations (12.1% saved)

simplify79.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049791936
149791936

localize23.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 1 (sqrt.f64 x))
0.1b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 x))) (cbrt.f64 (sqrt.f64 (/.f64 1 x)))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.1b
(sqrt.f64 (/.f64 1 x))
0.1b
(sqrt.f64 (/.f64 1 x))
0.3b
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
0.3b
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
20.8b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 x))) (cbrt.f64 (sqrt.f64 (/.f64 1 x)))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite49.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
83×cbrt-div_binary64_451
57×cbrt-prod_binary64_450
49×frac-times_binary64_429
45×times-frac_binary64_425
39×associate-*r/_binary64_361
37×*-un-lft-identity_binary64_419 associate-*l/_binary64_362 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
32×sqrt-div_binary64_436
31×frac-sub_binary64_428
18×sqrt-prod_binary64_435
6×add-log-exp_binary64_458
4×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×pow1/3_binary64_501 div-inv_binary64_416
1×sub-neg_binary64_412 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394 cancel-sign-sub-inv_binary64_385
Counts
4 → 127
Calls

8 calls:

17.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 x))) (cbrt.f64 (sqrt.f64 (/.f64 1 x)))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
4.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
4.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
3.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(sqrt.f64 (/.f64 1 x))

series309.0ms (1.2%)

Counts
4 → 14
Calls

4 calls:

124.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 x))) (cbrt.f64 (sqrt.f64 (/.f64 1 x)))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
70.0ms
(cbrt.f64 (/.f64 1 x))
58.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
57.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 x)))
Compiler

Compiled 723 to 585 computations (19.1% saved)

simplify97.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049494007
149494007

prune6.6s (25.5%)

Pruning

291 alts after pruning (275 fresh and 16 done)

PrunedKeptTotal
New222127349
Fresh6148154
Picked000
Done01616
Total228291519
Error
0b
Counts
519 → 291
Compiler

Compiled 6967 to 4717 computations (32.3% saved)

simplify294.0ms (1.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
0502321020

regimes1.7s (6.4%)

Compiler

Compiled 18124 to 13835 computations (23.7% saved)

bsearch0.0ms (0%)

regimes27.0ms (0.1%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 46 to 41 computations (10.9% saved)

bsearch29.0ms (0.1%)

Steps
ItersRangePoint
9
-4.131692875008912e-308
4.808928188437886e-302
-3.11516202745543e-310
Compiler

Compiled 14 to 14 computations (0% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02818
12818

end0.0ms (0%)

sample9.6s (37%)

Algorithm
1×intervals
Results
745.0ms3902×body2048valid
180.0ms4098×body128valid
Compiler

Compiled 9086 to 6946 computations (23.6% saved)

Pareto

0.9517728365384615

Profiling

Loading profile data...