Details

Time bar (total: 1.2min)

analyze5.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
62.5%37.5%0%4
81.2%18.7%0%5
90.6%9.4%0%6
95.3%4.7%0%7
97.6%2.3%0%8
98.8%1.2%0%9
99.4%0.6%0%10
99.7%0.3%0%11
99.8%0.1%0%12
99.9%0.1%0%13
99.9%0%0%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0%)

Algorithm
1×intervals
Results
4.0ms156×body128valid
4.0ms53×body512valid
2.0ms17×body1024valid
1.0ms30×body256valid
Compiler

Compiled 22 to 22 computations (0% saved)

simplify105.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07316
17316

prune3.0ms (0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New134
Fresh044
Picked000
Done000
Total178
Error
13.4b
Counts
8 → 4
Compiler

Compiled 12 to 11 computations (8.3% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

2.5b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
0.0b
(/.f64 1 (+.f64 x 1))
0.0b
(/.f64 1 (+.f64 x 1))
2.5b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

rewrite34.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
55×*-un-lft-identity_binary64_419
46×add-sqr-sqrt_binary64_441
45×times-frac_binary64_425
22×add-cube-cbrt_binary64_454
13×cancel-sign-sub-inv_binary64_385
10×distribute-lft-out--_binary64_371
9×difference-of-squares_binary64_388
7×distribute-lft-out_binary64_370
6×div-inv_binary64_416 add-exp-log_binary64_457
4×add-log-exp_binary64_458 add-cbrt-cube_binary64_455 associate-/r*_binary64_363
3×pow1_binary64_480 associate-/l*_binary64_364
2×associate-/r/_binary64_365 div-exp_binary64_470
1×flip3-+_binary64_422 clear-num_binary64_418 1-exp_binary64_463 sub-neg_binary64_412 inv-pow_binary64_504 flip3--_binary64_423 rec-exp_binary64_469 frac-2neg_binary64_430 pow-flip_binary64_493 flip-+_binary64_393 diff-log_binary64_511 flip--_binary64_394 frac-sub_binary64_428 cbrt-undiv_binary64_453
Counts
2 → 81
Calls

4 calls:

21.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
6.0ms
(/.f64 1 (+.f64 x 1))
0.0ms
(/.f64 1 (+.f64 x 1))
0.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

series63.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

33.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
29.0ms
(/.f64 1 (+.f64 x 1))
Compiler

Compiled 304 to 263 computations (13.5% saved)

simplify94.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049291503
149291503

prune339.0ms (0.5%)

Pruning

44 alts after pruning (43 fresh and 1 done)

PrunedKeptTotal
New6540105
Fresh033
Picked000
Done011
Total6544109
Error
0.0b
Counts
109 → 44
Compiler

Compiled 1525 to 1248 computations (18.2% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.7b
(/.f64 -1 (*.f64 x (+.f64 1 x)))
0.0b
(*.f64 x (+.f64 1 x))
0.0b
(*.f64 x (+.f64 1 x))
0.7b
(/.f64 -1 (*.f64 x (+.f64 1 x)))

rewrite15.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
8×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
6×add-cube-cbrt_binary64_454
4×associate-*r*_binary64_359 associate-*r/_binary64_361 pow1_binary64_480
3×times-frac_binary64_425 associate-*l*_binary64_360 associate-/l*_binary64_364
2×flip3-+_binary64_422 add-log-exp_binary64_458 prod-exp_binary64_468 cbrt-unprod_binary64_452 associate-/r/_binary64_365 flip-+_binary64_393 div-exp_binary64_470 cbrt-undiv_binary64_453
1×pow-prod-down_binary64_490 clear-num_binary64_418 distribute-rgt-in_binary64_369 div-inv_binary64_416 unswap-sqr_binary64_387 distribute-lft-out_binary64_370 distribute-lft-in_binary64_368 *-commutative_binary64_350 frac-2neg_binary64_430 associate-/r*_binary64_363
Counts
2 → 46
Calls

4 calls:

6.0ms
(/.f64 -1 (*.f64 x (+.f64 1 x)))
6.0ms
(*.f64 x (+.f64 1 x))
0.0ms
(*.f64 x (+.f64 1 x))
0.0ms
(/.f64 -1 (*.f64 x (+.f64 1 x)))

series76.0ms (0.1%)

Counts
2 → 18
Calls

2 calls:

44.0ms
(*.f64 x (+.f64 1 x))
32.0ms
(/.f64 -1 (*.f64 x (+.f64 1 x)))
Compiler

Compiled 193 to 172 computations (10.9% saved)

simplify59.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05056703

localize2.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

2.5b
(-.f64 (/.f64 (sqrt.f64 1) (+.f64 1 x)) (/.f64 1 x))
0.0b
(/.f64 (sqrt.f64 1) (+.f64 1 x))
0.0b
(/.f64 (sqrt.f64 1) (+.f64 1 x))
2.5b
(-.f64 (/.f64 (sqrt.f64 1) (+.f64 1 x)) (/.f64 1 x))

rewrite45.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
66×*-un-lft-identity_binary64_419
62×add-sqr-sqrt_binary64_441
58×times-frac_binary64_425
26×add-cube-cbrt_binary64_454
23×sqrt-prod_binary64_435
13×cancel-sign-sub-inv_binary64_385
12×difference-of-squares_binary64_388
9×distribute-lft-out_binary64_370
6×distribute-lft-out--_binary64_371 associate-/l*_binary64_364
4×add-log-exp_binary64_458 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate-/r*_binary64_363
3×div-inv_binary64_416
2×associate-/r/_binary64_365 pow1_binary64_480
1×flip3-+_binary64_422 clear-num_binary64_418 sub-neg_binary64_412 flip3--_binary64_423 frac-2neg_binary64_430 flip-+_binary64_393 diff-log_binary64_511 flip--_binary64_394 div-exp_binary64_470 frac-sub_binary64_428 cbrt-undiv_binary64_453
Counts
2 → 91
Calls

4 calls:

30.0ms
(-.f64 (/.f64 (sqrt.f64 1) (+.f64 1 x)) (/.f64 1 x))
6.0ms
(/.f64 (sqrt.f64 1) (+.f64 1 x))
0.0ms
(/.f64 (sqrt.f64 1) (+.f64 1 x))
0.0ms
(-.f64 (/.f64 (sqrt.f64 1) (+.f64 1 x)) (/.f64 1 x))

series61.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

34.0ms
(-.f64 (/.f64 (sqrt.f64 1) (+.f64 1 x)) (/.f64 1 x))
27.0ms
(/.f64 (sqrt.f64 1) (+.f64 1 x))
Compiler

Compiled 304 to 263 computations (13.5% saved)

simplify100.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049211759
149211759

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

18.1b
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3))
2.5b
(-.f64 (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3)) (/.f64 1 x))
0.2b
(pow.f64 (/.f64 1 (+.f64 1 x)) 3)
0.0b
(/.f64 1 (+.f64 1 x))
0.0b
(/.f64 1 (+.f64 1 x))
0.2b
(pow.f64 (/.f64 1 (+.f64 1 x)) 3)
2.5b
(-.f64 (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3)) (/.f64 1 x))
18.1b
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3))

rewrite85.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
120×add-sqr-sqrt_binary64_441
104×*-un-lft-identity_binary64_419
99×times-frac_binary64_425
66×cbrt-prod_binary64_450
54×add-cube-cbrt_binary64_454
45×unpow-prod-down_binary64_498 cube-prod_binary64_447
27×difference-of-squares_binary64_388
16×distribute-lft-out_binary64_370
13×add-exp-log_binary64_457 cancel-sign-sub-inv_binary64_385
10×associate-/r/_binary64_365
9×add-cbrt-cube_binary64_455
7×div-inv_binary64_416 pow1_binary64_480
6×add-log-exp_binary64_458
5×flip3-+_binary64_422 sqr-pow_binary64_391 flip-+_binary64_393
4×pow-exp_binary64_487 associate-/r*_binary64_363 div-exp_binary64_470
3×cube-div_binary64_448 pow-pow_binary64_491 pow-unpow_binary64_496 associate-/l*_binary64_364
2×1-exp_binary64_463 cbrt-div_binary64_451 inv-pow_binary64_504 unpow3_binary64_485 cube-mult_binary64_449 rem-cube-cbrt_binary64_442 distribute-lft-out--_binary64_371 rec-exp_binary64_469 pow-flip_binary64_493 cbrt-undiv_binary64_453
1×clear-num_binary64_418 pow1/3_binary64_501 sub-neg_binary64_412 flip3--_binary64_423 rem-cbrt-cube_binary64_443 pow-to-exp_binary64_488 frac-2neg_binary64_430 diff-log_binary64_511 flip--_binary64_394 frac-sub_binary64_428
Counts
4 → 203
Calls

8 calls:

39.0ms
(-.f64 (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3)) (/.f64 1 x))
9.0ms
(/.f64 1 (+.f64 1 x))
8.0ms
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3))
8.0ms
(pow.f64 (/.f64 1 (+.f64 1 x)) 3)
0.0ms
(/.f64 1 (+.f64 1 x))

series131.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

41.0ms
(pow.f64 (/.f64 1 (+.f64 1 x)) 3)
33.0ms
(-.f64 (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3)) (/.f64 1 x))
29.0ms
(/.f64 1 (+.f64 1 x))
28.0ms
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 1 x)) 3))
Compiler

Compiled 736 to 643 computations (12.6% saved)

simplify97.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
251 → 251
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049193854
149193854

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (/.f64 1 x) x)
0.1b
(/.f64 1 (pow.f64 x 5))
0.1b
(/.f64 1 (pow.f64 x 4))
0.0b
(+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))
0.1b
(/.f64 (/.f64 1 x) x)
0.3b
(pow.f64 (/.f64 1 x) 3)
12.6b
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
14.8b
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4))))

rewrite209.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
112×*-un-lft-identity_binary64_419
105×times-frac_binary64_425
80×add-sqr-sqrt_binary64_441
63×add-cube-cbrt_binary64_454
22×distribute-lft-out_binary64_370
18×add-log-exp_binary64_458 div-inv_binary64_416 add-exp-log_binary64_457
16×unpow-prod-down_binary64_498 cube-prod_binary64_447
14×cancel-sign-sub-inv_binary64_385
13×associate-/l*_binary64_364
12×add-cbrt-cube_binary64_455
9×distribute-lft-out--_binary64_371 pow1_binary64_480
8×difference-of-squares_binary64_388 associate-+l+_binary64_352 div-exp_binary64_470
7×frac-add_binary64_427 cube-div_binary64_448
6×frac-sub_binary64_428
5×sum-log_binary64_510
4×pow-exp_binary64_487 diff-log_binary64_511 cbrt-undiv_binary64_453
3×flip3-+_binary64_422 flip-+_binary64_393 pow-pow_binary64_491 pow-unpow_binary64_496 associate-/r*_binary64_363
2×1-exp_binary64_463 sub-neg_binary64_412 inv-pow_binary64_504 rem-cube-cbrt_binary64_442 pow-div_binary64_494 sqr-pow_binary64_391 flip3--_binary64_423 rec-exp_binary64_469 pow-flip_binary64_493 flip--_binary64_394
1×clear-num_binary64_418 unpow3_binary64_485 cube-mult_binary64_449 associate-+l-_binary64_354 pow-to-exp_binary64_488 frac-2neg_binary64_430 associate--r+_binary64_355 +-commutative_binary64_349 associate-/l/_binary64_366
Counts
4 → 193
Calls

8 calls:

94.0ms
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
76.0ms
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4))))
9.0ms
(pow.f64 (/.f64 1 x) 3)
7.0ms
(/.f64 (/.f64 1 x) x)
0.0ms
(+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))

series191.0ms (0.3%)

Counts
4 → 27
Calls

4 calls:

96.0ms
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4))))
41.0ms
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
33.0ms
(pow.f64 (/.f64 1 x) 3)
21.0ms
(/.f64 (/.f64 1 x) x)
Compiler

Compiled 666 to 579 computations (13.1% saved)

simplify101.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
220 → 220
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050414607

prune4.4s (6%)

Pruning

182 alts after pruning (179 fresh and 3 done)

PrunedKeptTotal
New500150650
Fresh92938
Picked000
Done336
Total512182694
Error
0b
Counts
694 → 182
Compiler

Compiled 9806 to 7877 computations (19.7% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (/.f64 -1 x) (+.f64 1 x))
0.1b
(/.f64 (/.f64 -1 x) (+.f64 1 x))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
97×times-frac_binary64_425
78×*-un-lft-identity_binary64_419
50×add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
14×distribute-lft-out_binary64_370
13×associate-/l*_binary64_364
6×div-inv_binary64_416 add-cbrt-cube_binary64_455 add-exp-log_binary64_457
4×associate-/r*_binary64_363
3×div-exp_binary64_470 cbrt-undiv_binary64_453
2×associate-/r/_binary64_365
1×flip3-+_binary64_422 clear-num_binary64_418 add-log-exp_binary64_458 frac-2neg_binary64_430 flip-+_binary64_393 pow1_binary64_480 associate-/l/_binary64_366
Counts
1 → 86
Calls

2 calls:

12.0ms
(/.f64 (/.f64 -1 x) (+.f64 1 x))
0.0ms
(/.f64 (/.f64 -1 x) (+.f64 1 x))

series34.0ms (0%)

Counts
1 → 12
Calls

1 calls:

34.0ms
(/.f64 (/.f64 -1 x) (+.f64 1 x))
Compiler

Compiled 138 to 123 computations (10.9% saved)

simplify91.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049092004
149092004

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.8b
(/.f64 -1 (*.f64 x x))
0.8b
(/.f64 -1 (*.f64 x x))

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
3×*-un-lft-identity_binary64_419 times-frac_binary64_425 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441 associate-/l*_binary64_364
2×div-exp_binary64_470 cbrt-undiv_binary64_453
1×clear-num_binary64_418 add-log-exp_binary64_458 div-inv_binary64_416 prod-exp_binary64_468 cbrt-unprod_binary64_452 frac-2neg_binary64_430 associate-/r*_binary64_363 pow1_binary64_480
Counts
1 → 21
Calls

2 calls:

5.0ms
(/.f64 -1 (*.f64 x x))
0.0ms
(/.f64 -1 (*.f64 x x))

series29.0ms (0%)

Counts
1 → 3
Calls

1 calls:

29.0ms
(/.f64 -1 (*.f64 x x))
Compiler

Compiled 30 to 30 computations (0% saved)

simplify86.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04971212
14971212

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

24.6b
(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
2.5b
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
0.1b
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
0.0b
(/.f64 1 (+.f64 1 x))
0.0b
(/.f64 1 (+.f64 1 x))
0.1b
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
2.5b
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
24.6b
(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))

rewrite101.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
179×*-un-lft-identity_binary64_419
166×add-sqr-sqrt_binary64_441
141×times-frac_binary64_425
50×cbrt-prod_binary64_450 distribute-lft-out--_binary64_371
46×add-cube-cbrt_binary64_454
45×difference-of-squares_binary64_388
44×unpow-prod-down_binary64_498 cube-prod_binary64_447
22×div-inv_binary64_416
19×distribute-lft-out_binary64_370
13×cancel-sign-sub-inv_binary64_385
9×add-exp-log_binary64_457
7×add-cbrt-cube_binary64_455
6×add-log-exp_binary64_458 cube-div_binary64_448 pow1_binary64_480
4×associate-/r*_binary64_363
3×cbrt-div_binary64_451 flip3--_binary64_423 pow-unpow_binary64_496 flip--_binary64_394 frac-sub_binary64_428 associate-/l*_binary64_364
2×unpow3_binary64_485 cube-mult_binary64_449 sqr-pow_binary64_391 associate-/r/_binary64_365 div-exp_binary64_470
1×flip3-+_binary64_422 clear-num_binary64_418 1-exp_binary64_463 pow1/3_binary64_501 sub-neg_binary64_412 inv-pow_binary64_504 rem-cube-cbrt_binary64_442 pow-exp_binary64_487 rem-cbrt-cube_binary64_443 rec-exp_binary64_469 pow-to-exp_binary64_488 frac-2neg_binary64_430 pow-flip_binary64_493 flip-+_binary64_393 pow-pow_binary64_491 diff-log_binary64_511 cbrt-undiv_binary64_453
Counts
4 → 207
Calls

8 calls:

26.0ms
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
23.0ms
(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
22.0ms
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
6.0ms
(/.f64 1 (+.f64 1 x))
0.0ms
(/.f64 1 (+.f64 1 x))

series148.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

43.0ms
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
41.0ms
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
34.0ms
(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
28.0ms
(/.f64 1 (+.f64 1 x))
Compiler

Compiled 720 to 647 computations (10.1% saved)

simplify120.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
255 → 255
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049164932
149164932

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(pow.f64 (/.f64 1 x) 3)
0.1b
(/.f64 1 (pow.f64 x 5))
0.1b
(/.f64 1 (pow.f64 x 4))
0.0b
(+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))
0.3b
(pow.f64 (/.f64 1 x) 3)
0.8b
(/.f64 (/.f64 1 1) (*.f64 x x))
12.6b
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
14.8b
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4))))

rewrite160.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
74×*-un-lft-identity_binary64_419
55×times-frac_binary64_425
52×add-sqr-sqrt_binary64_441
42×add-exp-log_binary64_457
35×add-cube-cbrt_binary64_454
24×div-exp_binary64_470
20×distribute-lft-out_binary64_370
19×add-cbrt-cube_binary64_455
18×add-log-exp_binary64_458
16×unpow-prod-down_binary64_498 div-inv_binary64_416 cube-prod_binary64_447
13×associate-/l*_binary64_364
12×cancel-sign-sub-inv_binary64_385
11×1-exp_binary64_463
9×distribute-lft-out--_binary64_371
8×difference-of-squares_binary64_388
7×frac-add_binary64_427 prod-exp_binary64_468 cube-div_binary64_448 associate-+l+_binary64_352 cbrt-undiv_binary64_453
6×pow1_binary64_480 frac-sub_binary64_428
5×sum-log_binary64_510 rec-exp_binary64_469
4×pow-exp_binary64_487 diff-log_binary64_511
3×flip3-+_binary64_422 flip-+_binary64_393 pow-pow_binary64_491 pow-unpow_binary64_496
2×sub-neg_binary64_412 rem-cube-cbrt_binary64_442 cbrt-unprod_binary64_452 sqr-pow_binary64_391 flip3--_binary64_423 flip--_binary64_394
1×clear-num_binary64_418 inv-pow_binary64_504 unpow3_binary64_485 cube-mult_binary64_449 associate-+l-_binary64_354 pow-to-exp_binary64_488 frac-2neg_binary64_430 pow-flip_binary64_493 associate--r+_binary64_355 associate-/r*_binary64_363 +-commutative_binary64_349 associate-/l/_binary64_366
Counts
4 → 173
Calls

8 calls:

74.0ms
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
52.0ms
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4))))
8.0ms
(/.f64 (/.f64 1 1) (*.f64 x x))
5.0ms
(pow.f64 (/.f64 1 x) 3)
0.0ms
(+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))

series198.0ms (0.3%)

Counts
4 → 27
Calls

4 calls:

96.0ms
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4))))
42.0ms
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
35.0ms
(pow.f64 (/.f64 1 x) 3)
25.0ms
(/.f64 (/.f64 1 1) (*.f64 x x))
Compiler

Compiled 678 to 591 computations (12.8% saved)

simplify119.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
200 → 200
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
049994067
149994067

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 1 (pow.f64 x 5))
0.1b
(*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2)))
0.1b
(/.f64 1 (pow.f64 x 4))
0.0b
(+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4)))
0.3b
(pow.f64 (/.f64 1 x) 3)
0.4b
(/.f64 1 (pow.f64 x 3/2))
12.6b
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
14.8b
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4))))

rewrite132.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
54×add-sqr-sqrt_binary64_441
49×*-un-lft-identity_binary64_419
43×times-frac_binary64_425
37×add-cube-cbrt_binary64_454
28×unpow-prod-down_binary64_498
18×add-log-exp_binary64_458 add-exp-log_binary64_457
16×frac-add_binary64_427 cube-prod_binary64_447
13×cube-div_binary64_448
12×frac-sub_binary64_428
9×add-cbrt-cube_binary64_455
8×difference-of-squares_binary64_388 div-exp_binary64_470
7×pow-exp_binary64_487 associate-/r*_binary64_363
6×sqr-pow_binary64_391 cancel-sign-sub-inv_binary64_385 pow1_binary64_480
5×div-inv_binary64_416 sum-log_binary64_510
4×1-exp_binary64_463 distribute-lft-out_binary64_370 rec-exp_binary64_469 pow-to-exp_binary64_488 diff-log_binary64_511 associate-+l+_binary64_352
3×flip3-+_binary64_422 distribute-lft-out--_binary64_371 flip-+_binary64_393 pow-pow_binary64_491 pow-unpow_binary64_496 associate-/l*_binary64_364
2×associate-*l/_binary64_362 sub-neg_binary64_412 inv-pow_binary64_504 rem-cube-cbrt_binary64_442 frac-times_binary64_429 flip3--_binary64_423 associate-*r/_binary64_361 pow-flip_binary64_493 un-div-inv_binary64_417 flip--_binary64_394 cbrt-undiv_binary64_453
1×clear-num_binary64_418 unpow3_binary64_485 cube-mult_binary64_449 associate-+l-_binary64_354 frac-2neg_binary64_430 associate--r+_binary64_355 +-commutative_binary64_349
Counts
4 → 164
Calls

8 calls:

61.0ms
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
38.0ms
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4))))
5.0ms
(pow.f64 (/.f64 1 x) 3)
5.0ms
(/.f64 1 (pow.f64 x 3/2))
0.0ms
(+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4)))

series260.0ms (0.4%)

Counts
4 → 27
Calls

4 calls:

153.0ms
(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4))))
56.0ms
(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (pow.f64 x 3/2))) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
31.0ms
(pow.f64 (/.f64 1 x) 3)
19.0ms
(/.f64 1 (pow.f64 x 3/2))
Compiler

Compiled 742 to 644 computations (13.2% saved)

simplify126.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
049245001
149245001

prune13.0s (17.9%)

Pruning

345 alts after pruning (337 fresh and 8 done)

PrunedKeptTotal
New576192768
Fresh29145174
Picked000
Done088
Total605345950
Error
0b
Counts
950 → 345
Compiler

Compiled 19030 to 15132 computations (20.5% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (/.f64 (cbrt.f64 -1) x) (+.f64 x 1))
0.1b
(/.f64 (/.f64 (cbrt.f64 -1) x) (+.f64 x 1))

rewrite28.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
178×times-frac_binary64_425
135×*-un-lft-identity_binary64_419
89×add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
45×cbrt-prod_binary64_450
23×distribute-lft-out_binary64_370
22×associate-/l*_binary64_364
6×div-inv_binary64_416 add-exp-log_binary64_457
5×add-cbrt-cube_binary64_455
4×associate-/r*_binary64_363
3×div-exp_binary64_470 cbrt-undiv_binary64_453
2×associate-/r/_binary64_365
1×flip3-+_binary64_422 clear-num_binary64_418 add-log-exp_binary64_458 frac-2neg_binary64_430 flip-+_binary64_393 pow1_binary64_480 associate-/l/_binary64_366
Counts
1 → 131
Calls

2 calls:

11.0ms
(/.f64 (/.f64 (cbrt.f64 -1) x) (+.f64 x 1))
0.0ms
(/.f64 (/.f64 (cbrt.f64 -1) x) (+.f64 x 1))

series63.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

62.0ms
(/.f64 (/.f64 (cbrt.f64 -1) x) (+.f64 x 1))
Compiler

Compiled 246 to 231 computations (6.1% saved)

simplify81.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
051103621

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (/.f64 -1 x) x)
0.1b
(/.f64 (/.f64 -1 x) x)

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_425
43×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
13×associate-/l*_binary64_364
6×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
5×div-inv_binary64_416
3×associate-/r*_binary64_363 div-exp_binary64_470 cbrt-undiv_binary64_453
1×clear-num_binary64_418 add-log-exp_binary64_458 frac-2neg_binary64_430 pow1_binary64_480 associate-/l/_binary64_366
Counts
1 → 70
Calls

2 calls:

6.0ms
(/.f64 (/.f64 -1 x) x)
0.0ms
(/.f64 (/.f64 -1 x) x)

series24.0ms (0%)

Counts
1 → 3
Calls

1 calls:

24.0ms
(/.f64 (/.f64 -1 x) x)
Compiler

Compiled 30 to 30 computations (0% saved)

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049131055
149131055

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)
0.1b
(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2))
0.0b
(/.f64 1 (+.f64 1 x))
0.0b
(/.f64 1 (+.f64 1 x))
0.2b
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)
2.5b
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
2.5b
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
24.6b
(cbrt.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)))

rewrite125.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
107×*-un-lft-identity_binary64_419
104×add-sqr-sqrt_binary64_441
90×times-frac_binary64_425
32×add-cube-cbrt_binary64_454
30×distribute-lft-out--_binary64_371
27×difference-of-squares_binary64_388
26×cancel-sign-sub-inv_binary64_385
22×unpow-prod-down_binary64_498
14×div-inv_binary64_416
9×distribute-lft-out_binary64_370
8×add-log-exp_binary64_458
5×add-exp-log_binary64_457 pow1_binary64_480
4×add-cbrt-cube_binary64_455
3×associate-*l/_binary64_362 cbrt-div_binary64_451 flip3--_binary64_423 pow-unpow_binary64_496 flip--_binary64_394 frac-sub_binary64_428
2×sub-neg_binary64_412 diff-log_binary64_511 unpow2_binary64_484
1×pow1/3_binary64_501 cube-unmult_binary64_456 cbrt-prod_binary64_450 pow-exp_binary64_487 sqr-pow_binary64_391 rem-cbrt-cube_binary64_443 pow-to-exp_binary64_488 pow-pow_binary64_491
Counts
4 → 138
Calls

8 calls:

42.0ms
(cbrt.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)))
24.0ms
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
21.0ms
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)
21.0ms
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
0.0ms
(/.f64 1 (+.f64 1 x))

series160.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

42.0ms
(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)
41.0ms
(cbrt.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 2)))
39.0ms
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
37.0ms
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
Compiler

Compiled 1040 to 907 computations (12.8% saved)

simplify96.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
050213417

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (log.f64 x) -3)
0.1b
(/.f64 1 (pow.f64 x 5))
0.1b
(/.f64 1 (pow.f64 x 4))
0.0b
(+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))
0.8b
(/.f64 (/.f64 1 1) (*.f64 x x))
0.8b
(exp.f64 (*.f64 (log.f64 x) -3))
12.6b
(+.f64 (-.f64 (exp.f64 (*.f64 (log.f64 x) -3)) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
14.8b
(-.f64 (exp.f64 (*.f64 (log.f64 x) -3)) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4))))

rewrite108.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
57×*-un-lft-identity_binary64_419
37×add-exp-log_binary64_457
33×times-frac_binary64_425
22×add-sqr-sqrt_binary64_441 div-exp_binary64_470
20×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370
19×add-log-exp_binary64_458
16×add-cbrt-cube_binary64_455
14×div-inv_binary64_416
13×associate-/l*_binary64_364
12×cancel-sign-sub-inv_binary64_385
10×1-exp_binary64_463
9×distribute-lft-out--_binary64_371
7×prod-exp_binary64_468 associate-+l+_binary64_352
6×cbrt-undiv_binary64_453
5×sum-log_binary64_510
4×rec-exp_binary64_469 diff-log_binary64_511 pow1_binary64_480
2×frac-add_binary64_427 sub-neg_binary64_412 cbrt-unprod_binary64_452 flip3--_binary64_423 flip--_binary64_394
1×flip3-+_binary64_422 clear-num_binary64_418 difference-of-squares_binary64_388 associate-+l-_binary64_354 exp-to-pow_binary64_481 exp-prod_binary64_471 frac-2neg_binary64_430 flip-+_binary64_393 associate--r+_binary64_355 associate-/r*_binary64_363 rem-exp-log_binary64_459 +-commutative_binary64_349 associate-/l/_binary64_366
Counts
4 → 120
Calls

8 calls:

52.0ms
(+.f64 (-.f64 (exp.f64 (*.f64 (log.f64 x) -3)) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
33.0ms
(-.f64 (exp.f64 (*.f64 (log.f64 x) -3)) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4))))
8.0ms
(/.f64 (/.f64 1 1) (*.f64 x x))
2.0ms
(exp.f64 (*.f64 (log.f64 x) -3))
0.0ms
(+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))

series227.0ms (0.3%)

Counts
4 → 27
Calls

4 calls:

113.0ms
(-.f64 (exp.f64 (*.f64 (log.f64 x) -3)) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4))))
45.0ms
(exp.f64 (*.f64 (log.f64 x) -3))
45.0ms
(+.f64 (-.f64 (exp.f64 (*.f64 (log.f64 x) -3)) (+.f64 (/.f64 (/.f64 1 1) (*.f64 x x)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
23.0ms
(/.f64 (/.f64 1 1) (*.f64 x x))
Compiler

Compiled 678 to 591 computations (12.8% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050962480

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 1 (sqrt.f64 (+.f64 1 x)))
0.1b
(/.f64 1 (sqrt.f64 (+.f64 1 x)))
0.0b
(*.f64 (pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3) (pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3))
0.0b
(+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))
0.1b
(pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3)
0.3b
(pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3)
4.4b
(-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x)))
15.7b
(cbrt.f64 (*.f64 (pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3) (pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3)))

rewrite197.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
177×add-sqr-sqrt_binary64_441
87×times-frac_binary64_425
82×sqrt-prod_binary64_435
72×*-un-lft-identity_binary64_419
60×difference-of-squares_binary64_388
30×unpow-prod-down_binary64_498 cube-div_binary64_448 cube-prod_binary64_447
18×add-cube-cbrt_binary64_454
16×cancel-sign-sub-inv_binary64_385
15×cbrt-div_binary64_451
11×sqrt-div_binary64_436
9×frac-times_binary64_429
6×add-log-exp_binary64_458 div-inv_binary64_416 flip3--_binary64_423 distribute-lft-out--_binary64_371 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow-unpow_binary64_496 flip--_binary64_394 pow1_binary64_480 frac-sub_binary64_428
5×flip3-+_binary64_422 frac-add_binary64_427 flip-+_binary64_393
4×distribute-lft-out_binary64_370
3×associate-*l/_binary64_362 associate-*r/_binary64_361
2×unpow3_binary64_485 cube-mult_binary64_449 rem-cube-cbrt_binary64_442 pow-exp_binary64_487 sqr-pow_binary64_391 pow-to-exp_binary64_488 pow-pow_binary64_491
1×pow-prod-down_binary64_490 pow1/3_binary64_501 sub-neg_binary64_412 cbrt-prod_binary64_450 rem-cbrt-cube_binary64_443 diff-log_binary64_511
Counts
4 → 175
Calls

8 calls:

68.0ms
(cbrt.f64 (*.f64 (pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3) (pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3)))
38.0ms
(pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3)
34.0ms
(-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x)))
29.0ms
(pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3)
0.0ms
(+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))

series219.0ms (0.3%)

Counts
4 → 12
Calls

4 calls:

93.0ms
(cbrt.f64 (*.f64 (pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3) (pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3)))
52.0ms
(pow.f64 (-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x))) 3)
40.0ms
(pow.f64 (+.f64 (sqrt.f64 (/.f64 1 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) 3)
33.0ms
(-.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 x)))
Compiler

Compiled 772 to 668 computations (13.5% saved)

simplify124.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049876181
149876181

prune23.0s (31.7%)

Pruning

537 alts after pruning (524 fresh and 13 done)

PrunedKeptTotal
New517219736
Fresh27305332
Picked000
Done01313
Total5445371081
Error
0b
Counts
1081 → 537
Compiler

Compiled 10940 to 8785 computations (19.7% saved)

simplify534.0ms (0.7%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0500837306

regimes2.4s (3.3%)

Compiler

Compiled 20628 to 17300 computations (16.1% saved)

bsearch0.0ms (0%)

regimes16.0ms (0%)

Compiler

Compiled 56 to 52 computations (7.1% saved)

bsearch0.0ms (0%)

regimes30.0ms (0%)

Compiler

Compiled 42 to 40 computations (4.8% saved)

bsearch28.0ms (0%)

Steps
ItersRangePoint
9
0.009082968335170206
3944.187875125094
0.760435366289126
9
-1342.536693726904
-0.0049011912615246405
-0.997833285118038
Compiler

Compiled 1 to 1 computations (0% saved)

regimes22.0ms (0%)

Compiler

Compiled 18 to 19 computations (-5.6% saved)

bsearch27.0ms (0%)

Steps
ItersRangePoint
9
0.009082968335170206
3944.187875125094
0.9986407271357947
9
-1342.536693726904
-0.0049011912615246405
-0.997833285118038
Compiler

Compiled 1 to 1 computations (0% saved)

regimes18.0ms (0%)

Compiler

Compiled 8 to 11 computations (-37.5% saved)

bsearch34.0ms (0%)

Steps
ItersRangePoint
10
3.333614217406897e+92
2.656552487495169e+104
4.475504231519108e+102
9
-1342.536693726904
-0.0049011912615246405
-0.997833285118038
Compiler

Compiled 1 to 1 computations (0% saved)

regimes7.0ms (0%)

Accuracy

Total 0.1b remaining (100%)

Threshold costs 0.1b (100%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch5.0ms (0%)

Compiler

Compiled 73 to 59 computations (19.2% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03993
13993

end0.0ms (0%)

sample23.7s (32.8%)

Algorithm
1×intervals
Results
134.0ms1939×body512valid
126.0ms4623×body128valid
46.0ms988×body256valid
40.0ms450×body1024valid
0.0ms1×body128invalid
Compiler

Compiled 20766 to 17418 computations (16.1% saved)

Pareto

0.4317026526081297

Profiling

Loading profile data...