Details

Time bar (total: 2.0min)

analyze314.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
6.2%93.6%0.1%6
15.6%84.3%0.1%7
29.6%70.2%0.1%8
33.5%63.2%3.3%9
43.3%49.5%7.2%10
52.1%39.2%8.7%11
54.5%34.2%11.3%12
60.6%25.6%13.8%13
65.2%20.4%14.4%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (0%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
1.0ms23×body128invalid
Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify119.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
030110
130110

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 6 computations (14.3% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (-.f64 1 x) z)
0.0b
(+.f64 (*.f64 x y) (*.f64 (-.f64 1 x) z))
0.0b
(+.f64 (*.f64 x y) (*.f64 (-.f64 1 x) z))
0.0b
(*.f64 (-.f64 1 x) z)

rewrite14.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_6579
7×*-un-lft-identity_binary64_6557
6×associate-*l*_binary64_6498
4×add-cbrt-cube_binary64_6593 add-cube-cbrt_binary64_6592 pow1_binary64_6618 add-exp-log_binary64_6595 add-log-exp_binary64_6596
3×associate-*r*_binary64_6497
2×associate-*l/_binary64_6500 difference-of-squares_binary64_6526
1×flip-+_binary64_6531 *-commutative_binary64_6488 pow-prod-down_binary64_6628 flip--_binary64_6532 sum-log_binary64_6648 unswap-sqr_binary64_6525 prod-exp_binary64_6606 flip3-+_binary64_6560 +-commutative_binary64_6487 distribute-lft-out--_binary64_6509 cbrt-unprod_binary64_6590 flip3--_binary64_6561
Counts
2 → 34
Calls

4 calls:

7.0ms
(*.f64 (-.f64 1 x) z)
4.0ms
(+.f64 (*.f64 x y) (*.f64 (-.f64 1 x) z))
0.0ms
(+.f64 (*.f64 x y) (*.f64 (-.f64 1 x) z))
0.0ms
(*.f64 (-.f64 1 x) z)

series192.0ms (0.2%)

Counts
2 → 27
Calls

2 calls:

131.0ms
(+.f64 (*.f64 x y) (*.f64 (-.f64 1 x) z))
61.0ms
(*.f64 (-.f64 1 x) z)
Compiler

Compiled 332 to 283 computations (14.8% saved)

simplify71.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
05458610

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (-.f64 y z))
0.0b
(+.f64 z (*.f64 x (-.f64 y z)))
0.0b
(+.f64 z (*.f64 x (-.f64 y z)))
0.0b
(*.f64 x (-.f64 y z))

rewrite14.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64_6579 cancel-sign-sub-inv_binary64_6523
10×*-un-lft-identity_binary64_6557
8×distribute-lft-in_binary64_6506 add-cube-cbrt_binary64_6592 associate-+r+_binary64_6489 distribute-rgt-in_binary64_6507
5×associate-*r*_binary64_6497
4×add-cbrt-cube_binary64_6593 pow1_binary64_6618 sub-neg_binary64_6550 add-exp-log_binary64_6595 add-log-exp_binary64_6596
3×associate-*l*_binary64_6498
2×associate-*r/_binary64_6499
1×flip-+_binary64_6531 *-commutative_binary64_6488 pow-prod-down_binary64_6628 flip--_binary64_6532 sum-log_binary64_6648 difference-of-squares_binary64_6526 unswap-sqr_binary64_6525 prod-exp_binary64_6606 flip3-+_binary64_6560 +-commutative_binary64_6487 distribute-lft-out--_binary64_6509 cbrt-unprod_binary64_6590 flip3--_binary64_6561
Counts
2 → 49
Calls

4 calls:

7.0ms
(*.f64 x (-.f64 y z))
4.0ms
(+.f64 z (*.f64 x (-.f64 y z)))
0.0ms
(+.f64 z (*.f64 x (-.f64 y z)))
0.0ms
(*.f64 x (-.f64 y z))

series230.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

131.0ms
(+.f64 z (*.f64 x (-.f64 y z)))
99.0ms
(*.f64 x (-.f64 y z))
Compiler

Compiled 387 to 328 computations (15.2% saved)

simplify68.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05339764

prune441.0ms (0.4%)

Pruning

53 alts after pruning (51 fresh and 2 done)

PrunedKeptTotal
New9251143
Fresh000
Picked000
Done022
Total9253145
Error
0b
Counts
145 → 53
Compiler

Compiled 1614 to 848 computations (47.5% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (+.f64 z (*.f64 x y)) (*.f64 x (neg.f64 z)))
0.0b
(+.f64 z (*.f64 x y))
0.0b
(+.f64 z (*.f64 x y))
0.0b
(+.f64 (+.f64 z (*.f64 x y)) (*.f64 x (neg.f64 z)))

rewrite10.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64_6596
4×sum-log_binary64_6648
2×flip-+_binary64_6531 add-cbrt-cube_binary64_6593 add-cube-cbrt_binary64_6592 pow1_binary64_6618 add-exp-log_binary64_6595 flip3-+_binary64_6560 +-commutative_binary64_6487 add-sqr-sqrt_binary64_6579 *-un-lft-identity_binary64_6557
1×associate-+l+_binary64_6490 unsub-neg_binary64_6551 distribute-rgt-neg-out_binary64_6517
Counts
2 → 25
Calls

4 calls:

5.0ms
(+.f64 (+.f64 z (*.f64 x y)) (*.f64 x (neg.f64 z)))
3.0ms
(+.f64 z (*.f64 x y))
0.0ms
(+.f64 z (*.f64 x y))
0.0ms
(+.f64 (+.f64 z (*.f64 x y)) (*.f64 x (neg.f64 z)))

series205.0ms (0.2%)

Counts
2 → 36
Calls

2 calls:

132.0ms
(+.f64 (+.f64 z (*.f64 x y)) (*.f64 x (neg.f64 z)))
72.0ms
(+.f64 z (*.f64 x y))
Compiler

Compiled 445 to 375 computations (15.7% saved)

simplify72.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
04944576
14944576

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

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 x (-.f64 y z))
0.0b
(*.f64 x (-.f64 y (neg.f64 z)))
0.0b
(*.f64 x (-.f64 y (neg.f64 z)))
0.0b
(+.f64 z (*.f64 x (-.f64 y z)))
0.0b
(*.f64 x (-.f64 y (neg.f64 z)))
0.0b
(*.f64 x (-.f64 y z))
0.2b
(*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
23.5b
(/.f64 (*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z)) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))

rewrite91.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
83×distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507
72×cancel-sign-sub-inv_binary64_6523
60×associate--l+_binary64_6494
50×add-sqr-sqrt_binary64_6579
46×*-un-lft-identity_binary64_6557
40×add-cube-cbrt_binary64_6592
36×distribute-lft-neg-in_binary64_6514
19×distribute-rgt-neg-in_binary64_6515
18×cancel-sign-sub_binary64_6522
15×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595
14×associate-*r*_binary64_6497
10×pow1_binary64_6618 sub-neg_binary64_6550
9×flip--_binary64_6532 associate-*l*_binary64_6498 flip3--_binary64_6561
8×associate-*r/_binary64_6499 frac-times_binary64_6567 associate-/l/_binary64_6504
6×flip-+_binary64_6531 neg-sub0_binary64_6552 flip3-+_binary64_6560 neg-mul-1_binary64_6553 associate--r-_binary64_6496
4×associate-*l/_binary64_6500 prod-exp_binary64_6606 add-log-exp_binary64_6596 cbrt-unprod_binary64_6590
3×*-commutative_binary64_6488 pow-prod-down_binary64_6628 associate-/r*_binary64_6501 unswap-sqr_binary64_6525 distribute-lft-out--_binary64_6509 times-frac_binary64_6563
2×div-exp_binary64_6608 difference-of-squares_binary64_6526 cbrt-undiv_binary64_6591 associate-/r/_binary64_6503
1×div-inv_binary64_6554 clear-num_binary64_6556 frac-2neg_binary64_6568 associate-/l*_binary64_6502
Counts
4 → 208
Calls

8 calls:

27.0ms
(/.f64 (*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z)) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
18.0ms
(*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
10.0ms
(*.f64 x (-.f64 y (neg.f64 z)))
10.0ms
(*.f64 x (-.f64 y z))
0.0ms
(+.f64 z (*.f64 x (-.f64 y z)))

series735.0ms (0.6%)

Counts
4 → 69
Calls

4 calls:

391.0ms
(*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
143.0ms
(/.f64 (*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z)) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
105.0ms
(*.f64 x (-.f64 y z))
96.0ms
(*.f64 x (-.f64 y (neg.f64 z)))
Compiler

Compiled 2303 to 1533 computations (33.4% saved)

simplify106.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
277 → 277
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
057005673

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

2.8b
(exp.f64 (log.f64 (*.f64 (-.f64 1 x) z)))
0.0b
(*.f64 (-.f64 1 x) z)
0.0b
(+.f64 (*.f64 x y) (exp.f64 (log.f64 (*.f64 (-.f64 1 x) z))))
0.0b
(+.f64 (*.f64 x y) (exp.f64 (log.f64 (*.f64 (-.f64 1 x) z))))
0.0b
(*.f64 (-.f64 1 x) z)
2.8b
(exp.f64 (log.f64 (*.f64 (-.f64 1 x) z)))

rewrite29.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_6579
9×*-un-lft-identity_binary64_6557
8×pow1_binary64_6618
6×add-cube-cbrt_binary64_6592 associate-*l*_binary64_6498
5×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595 exp-prod_binary64_6609 add-log-exp_binary64_6596
4×associate-*l/_binary64_6500
3×associate-*r*_binary64_6497
2×log-div_binary64_6644 pow-prod-down_binary64_6628 flip--_binary64_6532 exp-diff_binary64_6605 difference-of-squares_binary64_6526 log-pow_binary64_6646 flip3--_binary64_6561
1×flip-+_binary64_6531 *-commutative_binary64_6488 rem-exp-log_binary64_6597 sum-log_binary64_6648 log-prod_binary64_6643 unswap-sqr_binary64_6525 prod-exp_binary64_6606 flip3-+_binary64_6560 +-commutative_binary64_6487 distribute-lft-out--_binary64_6509 cbrt-unprod_binary64_6590 exp-sum_binary64_6603
Counts
3 → 50
Calls

6 calls:

9.0ms
(+.f64 (*.f64 x y) (exp.f64 (log.f64 (*.f64 (-.f64 1 x) z))))
7.0ms
(*.f64 (-.f64 1 x) z)
6.0ms
(exp.f64 (log.f64 (*.f64 (-.f64 1 x) z)))
0.0ms
(+.f64 (*.f64 x y) (exp.f64 (log.f64 (*.f64 (-.f64 1 x) z))))
0.0ms
(*.f64 (-.f64 1 x) z)

series715.0ms (0.6%)

Counts
3 → 35
Calls

3 calls:

403.0ms
(+.f64 (*.f64 x y) (exp.f64 (log.f64 (*.f64 (-.f64 1 x) z))))
254.0ms
(exp.f64 (log.f64 (*.f64 (-.f64 1 x) z)))
58.0ms
(*.f64 (-.f64 1 x) z)
Compiler

Compiled 728 to 641 computations (12% saved)

simplify144.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (129.0ms)

IterNodesCost
04928813
14928813

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(pow.f64 (*.f64 (-.f64 1 x) z) 3)
0.1b
(*.f64 z (-.f64 z (*.f64 x (+.f64 z y))))
0.0b
(*.f64 x (+.f64 z y))
0.0b
(*.f64 (-.f64 1 x) z)
0.4b
(*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))))
0.6b
(+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y))))))
2.3b
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
36.3b
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))))))

rewrite67.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
28×*-un-lft-identity_binary64_6557
18×add-sqr-sqrt_binary64_6579
16×distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507
15×add-cube-cbrt_binary64_6592 times-frac_binary64_6563
11×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595
9×pow1_binary64_6618
8×associate-*r/_binary64_6499 sub-neg_binary64_6550 associate-+r+_binary64_6489 add-log-exp_binary64_6596 cancel-sign-sub-inv_binary64_6523
6×flip--_binary64_6532 associate-*l*_binary64_6498 flip3--_binary64_6561
5×distribute-lft-out_binary64_6508 sum-cubes_binary64_6558 associate-/l*_binary64_6502
4×flip-+_binary64_6531 frac-times_binary64_6567 flip3-+_binary64_6560
3×pow-prod-down_binary64_6628 associate-/r*_binary64_6501 prod-exp_binary64_6606 cbrt-unprod_binary64_6590
2×associate-*l/_binary64_6500 sum-log_binary64_6648 difference-of-squares_binary64_6526 +-commutative_binary64_6487 associate-/r/_binary64_6503 associate-/l/_binary64_6504
1×*-commutative_binary64_6488 associate-*r*_binary64_6497 div-exp_binary64_6608 div-inv_binary64_6554 distribute-lft-out--_binary64_6509 clear-num_binary64_6556 cbrt-undiv_binary64_6591 frac-2neg_binary64_6568
Counts
4 → 108
Calls

8 calls:

18.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))))))
14.0ms
(*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))))
10.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
10.0ms
(+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y))))))
0.0ms
(*.f64 (-.f64 1 x) z)

series3.8s (3.2%)

Counts
4 → 90
Calls

4 calls:

1.9s
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))))))
788.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
777.0ms
(+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y))))))
354.0ms
(*.f64 (-.f64 1 x) (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))))
Compiler

Compiled 7723 to 5590 computations (27.6% saved)

simplify112.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
198 → 198
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
051128431

prune6.4s (5.3%)

Pruning

254 alts after pruning (249 fresh and 5 done)

PrunedKeptTotal
New411210621
Fresh73946
Picked000
Done257
Total420254674
Error
0b
Counts
674 → 254
Compiler

Compiled 19491 to 8729 computations (55.2% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))
0.0b
(+.f64 z (*.f64 x y))
0.0b
(+.f64 z (*.f64 x y))
0.0b
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))

rewrite10.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64_6596
2×add-cbrt-cube_binary64_6593 add-cube-cbrt_binary64_6592 pow1_binary64_6618 sum-log_binary64_6648 add-exp-log_binary64_6595 diff-log_binary64_6649 add-sqr-sqrt_binary64_6579 *-un-lft-identity_binary64_6557
1×flip-+_binary64_6531 flip--_binary64_6532 sub-neg_binary64_6550 flip3-+_binary64_6560 +-commutative_binary64_6487 flip3--_binary64_6561 cancel-sign-sub-inv_binary64_6523 associate--l+_binary64_6494
Counts
2 → 25
Calls

4 calls:

5.0ms
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))
3.0ms
(+.f64 z (*.f64 x y))
0.0ms
(+.f64 z (*.f64 x y))
0.0ms
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))

series210.0ms (0.2%)

Counts
2 → 36
Calls

2 calls:

133.0ms
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))
76.0ms
(+.f64 z (*.f64 x y))
Compiler

Compiled 418 to 348 computations (16.7% saved)

simplify77.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04974588
14974588

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (-.f64 y z))
0.0b
(*.f64 x (-.f64 y z))

rewrite9.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_6579
7×*-un-lft-identity_binary64_6557
6×cancel-sign-sub-inv_binary64_6523
5×associate-*r*_binary64_6497 add-cube-cbrt_binary64_6592
4×distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507
3×add-cbrt-cube_binary64_6593 pow1_binary64_6618 add-exp-log_binary64_6595 associate-*l*_binary64_6498
2×associate-*r/_binary64_6499 sub-neg_binary64_6550
1×*-commutative_binary64_6488 pow-prod-down_binary64_6628 flip--_binary64_6532 difference-of-squares_binary64_6526 unswap-sqr_binary64_6525 prod-exp_binary64_6606 distribute-lft-out--_binary64_6509 add-log-exp_binary64_6596 cbrt-unprod_binary64_6590 flip3--_binary64_6561
Counts
1 → 30
Calls

2 calls:

7.0ms
(*.f64 x (-.f64 y z))
0.0ms
(*.f64 x (-.f64 y z))

series102.0ms (0.1%)

Counts
1 → 15
Calls

1 calls:

102.0ms
(*.f64 x (-.f64 y z))
Compiler

Compiled 138 to 132 computations (4.3% saved)

simplify52.0ms (0%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05690386

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

4.7b
(log.f64 (exp.f64 (*.f64 (-.f64 1 x) z)))
0.0b
(*.f64 (-.f64 1 x) z)
0.0b
(*.f64 (-.f64 1 x) z)
4.7b
(log.f64 (exp.f64 (*.f64 (-.f64 1 x) z)))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_6579
8×*-un-lft-identity_binary64_6557
6×associate-*l*_binary64_6498
5×add-cube-cbrt_binary64_6592 pow1_binary64_6618 add-log-exp_binary64_6596
4×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595 log-pow_binary64_6646
3×associate-*r*_binary64_6497 log-prod_binary64_6643
2×associate-*l/_binary64_6500 difference-of-squares_binary64_6526 exp-to-pow_binary64_6619
1×*-commutative_binary64_6488 pow-prod-down_binary64_6628 flip--_binary64_6532 rem-log-exp_binary64_6598 unswap-sqr_binary64_6525 prod-exp_binary64_6606 diff-log_binary64_6649 distribute-lft-out--_binary64_6509 exp-prod_binary64_6609 cbrt-unprod_binary64_6590 flip3--_binary64_6561
Counts
2 → 38
Calls

4 calls:

7.0ms
(*.f64 (-.f64 1 x) z)
2.0ms
(log.f64 (exp.f64 (*.f64 (-.f64 1 x) z)))
0.0ms
(*.f64 (-.f64 1 x) z)
0.0ms
(log.f64 (exp.f64 (*.f64 (-.f64 1 x) z)))

series329.0ms (0.3%)

Counts
2 → 16
Calls

2 calls:

271.0ms
(log.f64 (exp.f64 (*.f64 (-.f64 1 x) z)))
58.0ms
(*.f64 (-.f64 1 x) z)
Compiler

Compiled 296 to 262 computations (11.5% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05233471

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z)
0.1b
(pow.f64 (*.f64 (-.f64 1 x) z) 3)
0.0b
(*.f64 x (+.f64 z y))
0.0b
(*.f64 (-.f64 1 x) z)
2.3b
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
2.3b
(*.f64 (-.f64 1 x) (*.f64 z z))
3.4b
(+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z z))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x)))
36.3b
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z z))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x))))

rewrite89.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
34×associate-*l/_binary64_6500
32×flip-+_binary64_6531 associate-*r/_binary64_6499 frac-add_binary64_6565 flip3-+_binary64_6560
30×*-un-lft-identity_binary64_6557
24×distribute-neg-frac_binary64_6521
21×add-sqr-sqrt_binary64_6579
18×associate-/r/_binary64_6503
17×add-cube-cbrt_binary64_6592
16×frac-times_binary64_6567
15×times-frac_binary64_6563
13×flip--_binary64_6532 flip3--_binary64_6561
11×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595 add-log-exp_binary64_6596
9×pow1_binary64_6618
8×associate-+r+_binary64_6489
6×associate-*l*_binary64_6498 cancel-sign-sub-inv_binary64_6523
5×distribute-lft-out_binary64_6508 sum-cubes_binary64_6558 associate-/l*_binary64_6502
4×distribute-lft-in_binary64_6506 sum-log_binary64_6648 distribute-rgt-in_binary64_6507
3×pow-prod-down_binary64_6628 associate-/r*_binary64_6501 prod-exp_binary64_6606 cbrt-unprod_binary64_6590
2×sub-neg_binary64_6550 difference-of-squares_binary64_6526 +-commutative_binary64_6487 distribute-lft-neg-out_binary64_6516 associate-/l/_binary64_6504
1×*-commutative_binary64_6488 associate-*r*_binary64_6497 associate-+l+_binary64_6490 div-exp_binary64_6608 unswap-sqr_binary64_6525 unsub-neg_binary64_6551 div-inv_binary64_6554 distribute-lft-out--_binary64_6509 clear-num_binary64_6556 cbrt-undiv_binary64_6591 frac-2neg_binary64_6568
Counts
4 → 130
Calls

8 calls:

24.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z z))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x))))
15.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z z))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x)))
11.0ms
(*.f64 (-.f64 1 x) (*.f64 z z))
10.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
0.0ms
(*.f64 (-.f64 1 x) z)

series3.6s (3%)

Counts
4 → 78
Calls

4 calls:

1.9s
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z z))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x))))
817.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
785.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 1 x) (*.f64 z z))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x)))
97.0ms
(*.f64 (-.f64 1 x) (*.f64 z z))
Compiler

Compiled 7155 to 5234 computations (26.8% saved)

simplify119.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
0498312276
1498312276

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 x (-.f64 y (neg.f64 z)))
0.0b
(sqrt.f64 (+.f64 z y))
0.0b
(sqrt.f64 (+.f64 z y))
0.0b
(+.f64 z (*.f64 x (-.f64 y z)))
0.1b
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))
0.1b
(*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))))
0.2b
(*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
5.2b
(/.f64 (*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z)) (-.f64 (*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))) z))

rewrite120.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
65×pow1_binary64_6618
64×distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507
60×associate--l+_binary64_6494
46×cancel-sign-sub-inv_binary64_6523
42×add-sqr-sqrt_binary64_6579
39×pow-prod-down_binary64_6628
32×*-un-lft-identity_binary64_6557
30×add-cube-cbrt_binary64_6592
25×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595
24×distribute-lft-neg-in_binary64_6514
20×associate-*r/_binary64_6499
18×sqrt-pow1_binary64_6575 pow1/2_binary64_6637
14×sqrt-div_binary64_6574
13×flip-+_binary64_6531 flip3-+_binary64_6560
12×cancel-sign-sub_binary64_6522 frac-times_binary64_6567 distribute-rgt-neg-in_binary64_6515
11×sqrt-prod_binary64_6573 associate-*r*_binary64_6497 prod-exp_binary64_6606 cbrt-unprod_binary64_6590
10×associate-*l*_binary64_6498
8×pow-prod-up_binary64_6627 associate-/l/_binary64_6504
7×flip--_binary64_6532 flip3--_binary64_6561
6×associate-*l/_binary64_6500 sqrt-unprod_binary64_6577 pow-sqr_binary64_6530 sub-neg_binary64_6550
5×unswap-sqr_binary64_6525
4×associate-/r*_binary64_6501 neg-sub0_binary64_6552 neg-mul-1_binary64_6553 add-log-exp_binary64_6596 times-frac_binary64_6563 associate--r-_binary64_6496
3×*-commutative_binary64_6488
2×div-exp_binary64_6608 difference-of-squares_binary64_6526 cbrt-undiv_binary64_6591 associate-/r/_binary64_6503 pow-plus_binary64_6620
1×rem-square-sqrt_binary64_6569 distribute-lft-out_binary64_6508 div-inv_binary64_6554 clear-num_binary64_6556 frac-2neg_binary64_6568 associate-/l*_binary64_6502 swap-sqr_binary64_6524 pow2_binary64_6638
Counts
4 → 212
Calls

8 calls:

38.0ms
(/.f64 (*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z)) (-.f64 (*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))) z))
22.0ms
(*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))))
19.0ms
(*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
9.0ms
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))
0.0ms
(+.f64 z (*.f64 x (-.f64 y z)))

series849.0ms (0.7%)

Counts
4 → 66
Calls

4 calls:

408.0ms
(*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z))
247.0ms
(/.f64 (*.f64 (+.f64 z (*.f64 x (-.f64 y z))) (-.f64 (*.f64 x (-.f64 y (neg.f64 z))) z)) (-.f64 (*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))) z))
101.0ms
(*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y))))
93.0ms
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))
Compiler

Compiled 3077 to 2040 computations (33.7% saved)

simplify137.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
278 → 278
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049636116
149636116

prune15.6s (12.9%)

Pruning

471 alts after pruning (461 fresh and 10 done)

PrunedKeptTotal
New418228646
Fresh11233244
Picked000
Done01010
Total429471900
Error
0b
Counts
900 → 471
Compiler

Compiled 36871 to 17313 computations (53% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))
0.0b
(+.f64 z (*.f64 x y))
0.0b
(+.f64 z (*.f64 x y))
0.0b
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))

rewrite10.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64_6596
2×add-cbrt-cube_binary64_6593 add-cube-cbrt_binary64_6592 pow1_binary64_6618 sum-log_binary64_6648 add-exp-log_binary64_6595 diff-log_binary64_6649 add-sqr-sqrt_binary64_6579 *-un-lft-identity_binary64_6557
1×flip-+_binary64_6531 flip--_binary64_6532 sub-neg_binary64_6550 flip3-+_binary64_6560 +-commutative_binary64_6487 flip3--_binary64_6561 cancel-sign-sub-inv_binary64_6523 associate--l+_binary64_6494
Counts
2 → 25
Calls

4 calls:

5.0ms
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))
3.0ms
(+.f64 z (*.f64 x y))
0.0ms
(+.f64 z (*.f64 x y))
0.0ms
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))

series210.0ms (0.2%)

Counts
2 → 36
Calls

2 calls:

130.0ms
(-.f64 (+.f64 z (*.f64 x y)) (*.f64 x z))
80.0ms
(+.f64 z (*.f64 x y))
Compiler

Compiled 526 to 456 computations (13.3% saved)

simplify81.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04974588
14974588

localize4.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

1.0b
(+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z))))
0.2b
(pow.f64 (*.f64 x y) 3)
0.1b
(*.f64 y (-.f64 (*.f64 x y) z))
0.0b
(-.f64 (/.f64 (+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z))))) (*.f64 x z))
1.0b
(+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z))))
1.2b
(+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3))
5.9b
(*.f64 x (*.f64 y (-.f64 (*.f64 x y) z)))
35.2b
(/.f64 (+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z)))))

rewrite57.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
33×*-un-lft-identity_binary64_6557
32×distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507
24×cancel-sign-sub-inv_binary64_6523
23×add-cube-cbrt_binary64_6592 add-sqr-sqrt_binary64_6579
16×associate-+r+_binary64_6489
15×times-frac_binary64_6563
11×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595
9×pow1_binary64_6618
8×sub-neg_binary64_6550 add-log-exp_binary64_6596
5×distribute-lft-out_binary64_6508 sum-cubes_binary64_6558 associate-/l*_binary64_6502
4×flip-+_binary64_6531 associate-*r/_binary64_6499 flip3-+_binary64_6560
3×pow-prod-down_binary64_6628 associate-/r*_binary64_6501 prod-exp_binary64_6606 associate-*l*_binary64_6498 cbrt-unprod_binary64_6590
2×sum-log_binary64_6648 +-commutative_binary64_6487 associate-/r/_binary64_6503 associate-/l/_binary64_6504
1×*-commutative_binary64_6488 associate-*r*_binary64_6497 flip--_binary64_6532 div-exp_binary64_6608 div-inv_binary64_6554 clear-num_binary64_6556 cbrt-undiv_binary64_6591 frac-2neg_binary64_6568 flip3--_binary64_6561
Counts
4 → 115
Calls

8 calls:

15.0ms
(/.f64 (+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z)))))
12.0ms
(+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3))
10.0ms
(*.f64 x (*.f64 y (-.f64 (*.f64 x y) z)))
6.0ms
(+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z))))
0.0ms
(-.f64 (/.f64 (+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z))))) (*.f64 x z))

series1.4s (1.1%)

Counts
4 → 81
Calls

4 calls:

480.0ms
(/.f64 (+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z)))))
343.0ms
(+.f64 (pow.f64 z 3) (pow.f64 (*.f64 x y) 3))
327.0ms
(+.f64 (*.f64 z z) (*.f64 x (*.f64 y (-.f64 (*.f64 x y) z))))
203.0ms
(*.f64 x (*.f64 y (-.f64 (*.f64 x y) z)))
Compiler

Compiled 2689 to 1963 computations (27% saved)

simplify95.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049774189
149774189

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 z (-.f64 z (*.f64 x (+.f64 z y))))
0.0b
(*.f64 x (+.f64 z y))
0.0b
(*.f64 (-.f64 1 x) z)
0.0b
(+.f64 (*.f64 x x) (*.f64 1 x))
2.2b
(*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3)))
2.3b
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
6.7b
(/.f64 (*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))
36.3b
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (/.f64 (*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))))

rewrite105.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
41×*-un-lft-identity_binary64_6557
33×add-sqr-sqrt_binary64_6579
24×cancel-sign-sub-inv_binary64_6523
23×add-cube-cbrt_binary64_6592
20×add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595
19×times-frac_binary64_6563
16×associate-*r/_binary64_6499
13×distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507
12×associate-*r*_binary64_6497 flip--_binary64_6532 flip3--_binary64_6561
10×associate-/l/_binary64_6504
9×pow1_binary64_6618
8×cube-prod_binary64_6585 difference-of-squares_binary64_6526 frac-times_binary64_6567 unpow-prod-down_binary64_6636
7×associate-/r*_binary64_6501 distribute-lft-out_binary64_6508
6×prod-exp_binary64_6606 add-log-exp_binary64_6596 cbrt-unprod_binary64_6590 associate-/l*_binary64_6502
5×sum-cubes_binary64_6558
4×flip-+_binary64_6531 associate-*l/_binary64_6500 sqr-pow_binary64_6529 div-exp_binary64_6608 flip3-+_binary64_6560 cbrt-undiv_binary64_6591 associate-/r/_binary64_6503
3×pow-prod-down_binary64_6628
2×unpow3_binary64_6623 sub-neg_binary64_6550 div-inv_binary64_6554 cube-mult_binary64_6587 clear-num_binary64_6556 frac-2neg_binary64_6568
1×*-commutative_binary64_6488 sum-log_binary64_6648 +-commutative_binary64_6487 associate-*l*_binary64_6498 distribute-lft-out--_binary64_6509
Counts
4 → 148
Calls

8 calls:

27.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (/.f64 (*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))))
21.0ms
(/.f64 (*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))
16.0ms
(*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3)))
10.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
0.0ms
(+.f64 (*.f64 x x) (*.f64 1 x))

series7.6s (6.2%)

Counts
4 → 87
Calls

4 calls:

5.6s
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (/.f64 (*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))))
798.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
764.0ms
(/.f64 (*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))
399.0ms
(*.f64 (*.f64 z (-.f64 z (*.f64 x (+.f64 z y)))) (-.f64 1 (pow.f64 x 3)))
Compiler

Compiled 14791 to 10758 computations (27.3% saved)

simplify151.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
235 → 235
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0500613762

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z)
0.1b
(pow.f64 (*.f64 (-.f64 1 x) z) 3)
0.0b
(*.f64 x (+.f64 z y))
0.0b
(*.f64 (-.f64 1 x) z)
1.0b
(*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x)))
2.3b
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
2.8b
(+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 x)) (*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x))))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x)))
17.5b
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 x)) (*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x))))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x))))

rewrite108.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_6557
34×associate-*r/_binary64_6499
32×flip-+_binary64_6531 associate-*l/_binary64_6500 frac-add_binary64_6565 flip3-+_binary64_6560
29×add-sqr-sqrt_binary64_6579
24×distribute-neg-frac_binary64_6521
21×add-cube-cbrt_binary64_6592
18×associate-/r/_binary64_6503 cancel-sign-sub-inv_binary64_6523
16×frac-times_binary64_6567
15×times-frac_binary64_6563
13×flip--_binary64_6532 flip3--_binary64_6561
11×distribute-lft-in_binary64_6506 add-cbrt-cube_binary64_6593 add-exp-log_binary64_6595 distribute-rgt-in_binary64_6507 add-log-exp_binary64_6596
9×sqrt-prod_binary64_6573 associate-*r*_binary64_6497 pow1_binary64_6618
8×associate-+r+_binary64_6489
5×distribute-lft-out_binary64_6508 sum-cubes_binary64_6558 associate-/l*_binary64_6502
4×sub-neg_binary64_6550 sum-log_binary64_6648 difference-of-squares_binary64_6526
3×pow-prod-down_binary64_6628 associate-/r*_binary64_6501 prod-exp_binary64_6606 cbrt-unprod_binary64_6590
2×+-commutative_binary64_6487 distribute-lft-neg-out_binary64_6516 distribute-lft-out--_binary64_6509 associate-/l/_binary64_6504
1×*-commutative_binary64_6488 associate-+l+_binary64_6490 div-exp_binary64_6608 unswap-sqr_binary64_6525 unsub-neg_binary64_6551 div-inv_binary64_6554 associate-*l*_binary64_6498 clear-num_binary64_6556 cbrt-undiv_binary64_6591 frac-2neg_binary64_6568
Counts
4 → 147
Calls

8 calls:

28.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 x)) (*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x))))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x))))
17.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 x)) (*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x))))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x)))
12.0ms
(*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x)))
10.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
0.0ms
(*.f64 (-.f64 1 x) z)

series3.5s (2.9%)

Counts
4 → 70
Calls

4 calls:

1.9s
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 x)) (*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x))))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x))))
773.0ms
(+.f64 (pow.f64 (*.f64 (-.f64 1 x) z) 3) (pow.f64 (*.f64 x y) 3))
715.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 x)) (*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x))))) (*.f64 (*.f64 (neg.f64 (*.f64 x (+.f64 z y))) z) (-.f64 1 x)))
80.0ms
(*.f64 (*.f64 z z) (-.f64 1 (sqrt.f64 x)))
Compiler

Compiled 7180 to 5262 computations (26.7% saved)

simplify138.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
217 → 217
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
0551814752

prune35.7s (29.5%)

Pruning

745 alts after pruning (730 fresh and 15 done)

PrunedKeptTotal
New422287709
Fresh13443456
Picked000
Done01515
Total4357451180
Error
0b
Counts
1180 → 745
Compiler

Compiled 26301 to 11277 computations (57.1% saved)

simplify902.0ms (0.7%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0513974225

regimes8.6s (7.1%)

Compiler

Compiled 131121 to 73863 computations (43.7% saved)

bsearch0.0ms (0%)

regimes61.0ms (0.1%)

Compiler

Compiled 216 to 258 computations (-19.4% saved)

bsearch0.0ms (0%)

regimes102.0ms (0.1%)

Compiler

Compiled 153 to 204 computations (-33.3% saved)

bsearch30.0ms (0%)

Steps
ItersRangePoint
9
4.789664799894252e-09
0.0012619403073523454
0.001244767960264407
7
-36.95822477273733
-0.28142780007638263
-1.0203092446224575
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes99.0ms (0.1%)

Compiler

Compiled 132 to 186 computations (-40.9% saved)

bsearch27.0ms (0%)

Steps
ItersRangePoint
9
4.789664799894252e-09
0.0012619403073523454
0.001244767960264407
7
-36.95822477273733
-0.28142780007638263
-1.0203092446224575
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes86.0ms (0.1%)

Compiler

Compiled 84 to 138 computations (-64.3% saved)

bsearch34.0ms (0%)

Steps
ItersRangePoint
10
8.548910011235292e-120
1.2022319453756855e-108
9.203858378917389e-118
8
-4.055735037116065e-173
-2.957546065659804e-177
-3.9688333823953555e-173
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes93.0ms (0.1%)

Compiler

Compiled 54 to 105 computations (-94.4% saved)

bsearch26.0ms (0%)

Steps
ItersRangePoint
6
1.7846442878995888e-153
2.3909460375113903e-152
1.673818157913548e-152
9
-5.4772254162141687e-154
-1.9557375470152278e-159
-1.2378780902325995e-154
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes93.0ms (0.1%)

Compiler

Compiled 39 to 90 computations (-130.8% saved)

bsearch55.0ms (0%)

Steps
ItersRangePoint
9
2.9118773837731492e-49
5.558327210392825e-42
1.6715378555165724e-46
9
-5.4772254162141687e-154
-1.9557375470152278e-159
-1.0252448052030216e-156
9
-1.4945441922238658e-118
-3.427328486442933e-126
-1.0453144994583717e-125
7
-8.672308341214467e-39
-1.1618169077953742e-40
-2.8611145528597853e-39
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes27.0ms (0%)

Accuracy

Total 0.0b remaining (98.1%)

Threshold costs 0.0b (98.1%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch6.0ms (0%)

Compiler

Compiled 134 to 85 computations (36.6% saved)

simplify16.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (12.0ms)

IterNodesCost
0332173
1332173

end0.0ms (0%)

sample26.2s (21.6%)

Algorithm
1×intervals
Results
244.0ms8000×body128valid
19.0ms655×body128invalid
Compiler

Compiled 44072 to 24894 computations (43.5% saved)

Pareto

0.16752205899011288

Profiling

Loading profile data...