Details

Time bar (total: 2.8s)

analyze331.0ms (11.8%)

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
0%99.9%0.1%6
12.5%87.4%0.1%7
31.2%68.6%0.1%8
39%57.7%3.3%9
47.6%46%6.4%10
58.1%35.5%6.4%11
62.2%29.1%8.7%12
66.2%22.7%11.1%13
71.3%17.6%11.1%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample65.0ms (2.3%)

Algorithm
1×intervals
Symmetry

(sort y z)

Results
7.0ms256×body128valid
1.0ms19×body128invalid
Compiler

Compiled 24 to 18 computations (25% saved)

simplify22.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
419×fma-def_binary64
121×fma-neg_binary64
46×distribute-rgt-in_binary64
45×associate-*r*_binary64
43×associate-*l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11710
23210
37310
417510
521610
629010
741110
843110
948110
1048410
1150410
1245310

prune9.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
3.9b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶3.9b
(*.f64 x (-.f64 1 (*.f64 y z)))
Compiler

Compiled 30 to 21 computations (30% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓3.6b
(*.f64 x (-.f64 1 (*.f64 y z)))

series9.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

9.0ms
(*.f64 x (-.f64 1 (*.f64 y z)))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt_binary64
6×prod-diff_binary64
5×distribute-lft-in_binary64
5×distribute-rgt-in_binary64
5×*-un-lft-identity_binary64
Counts
1 → 32
Calls

1 calls:

5.0ms
(*.f64 x (-.f64 1 (*.f64 y z)))

simplify59.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
811×fma-def_binary64
608×distribute-neg-out_binary64
586×unsub-neg_binary64
290×associate-*l*_binary64
267×*-commutative_binary64
Counts
68 → 50
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
070843
1139783
2446747
31293729
42542729
54900729

prune47.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New43750
Fresh000
Picked101
Done000
Total44751
Error
0.0b
Counts
51 → 7
Alt Table
StatusErrorProgram
5.9b
(-.f64 x (*.f64 y (*.f64 z x)))
16.1b
(/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 y z) (*.f64 y z)) (*.f64 1 (*.f64 y z)))))
3.9b
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))
14.4b
(*.f64 (*.f64 x (sqrt.f64 (-.f64 1 (*.f64 y z)))) (sqrt.f64 (-.f64 1 (*.f64 y z))))
▶3.9b
(+.f64 (*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
36.1b
(*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))))
37.6b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (-.f64 1 (*.f64 y z))))
Compiler

Compiled 944 to 489 computations (48.2% saved)

localize10.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓3.6b
(*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x)
✓53.4b
(fma.f64 (neg.f64 z) y (*.f64 z y))

series18.0ms (0.7%)

Counts
2 → 60
Calls

2 calls:

10.0ms
(fma.f64 (neg.f64 z) y (*.f64 z y))
9.0ms
(*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x)

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
4×add-exp-log_binary64
Counts
2 → 30
Calls

2 calls:

3.0ms
(*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x)
0.0ms
(fma.f64 (neg.f64 z) y (*.f64 z y))

simplify62.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
712×fma-def_binary64
629×distribute-rgt-neg-out_binary64
627×distribute-rgt-in_binary64
578×distribute-lft-in_binary64
387×distribute-neg-out_binary64
Counts
90 → 57
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
058777
1109708
2294652
3881652
42988652
55214652

prune58.0ms (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New56157
Fresh066
Picked011
Done000
Total56864
Error
0.0b
Counts
64 → 8
Alt Table
StatusErrorProgram
5.1b
(+.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
5.9b
(-.f64 x (*.f64 y (*.f64 z x)))
16.1b
(/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 y z) (*.f64 y z)) (*.f64 1 (*.f64 y z)))))
▶3.9b
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))
14.4b
(*.f64 (*.f64 x (sqrt.f64 (-.f64 1 (*.f64 y z)))) (sqrt.f64 (-.f64 1 (*.f64 y z))))
✓3.9b
(+.f64 (*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
36.1b
(*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))))
37.6b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (-.f64 1 (*.f64 y z))))
Compiler

Compiled 1598 to 621 computations (61.1% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓3.6b
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))

series9.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

8.0ms
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
8×add-exp-log_binary64
6×prod-diff_binary64
6×add-cbrt-cube_binary64
6×pow1_binary64
5×distribute-lft-in_binary64
Counts
1 → 33
Calls

1 calls:

5.0ms
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))

simplify78.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
848×fma-def_binary64
633×unsub-neg_binary64
549×distribute-neg-out_binary64
322×associate-*l*_binary64
246×*-commutative_binary64
Counts
69 → 51
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
076856
1158775
2440739
31240721
42618721
54998721
64834721

prune42.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New51051
Fresh066
Picked011
Done011
Total51859
Error
0.0b
Counts
59 → 8
Alt Table
StatusErrorProgram
▶5.1b
(+.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
5.9b
(-.f64 x (*.f64 y (*.f64 z x)))
16.1b
(/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 y z) (*.f64 y z)) (*.f64 1 (*.f64 y z)))))
✓3.9b
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))
14.4b
(*.f64 (*.f64 x (sqrt.f64 (-.f64 1 (*.f64 y z)))) (sqrt.f64 (-.f64 1 (*.f64 y z))))
✓3.9b
(+.f64 (*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
36.1b
(*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))))
37.6b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (-.f64 1 (*.f64 y z))))
Compiler

Compiled 1082 to 618 computations (42.9% saved)

localize16.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.6b
(cbrt.f64 x)
✓1.6b
(*.f64 (*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
✓2.3b
(*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
53.4b
(fma.f64 (neg.f64 z) y (*.f64 z y))

series252.0ms (9%)

Counts
3 → 84
Calls

3 calls:

194.0ms
(*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
37.0ms
(cbrt.f64 x)
21.0ms
(*.f64 (*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))

rewrite24.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
17×add-exp-log_binary64
17×pow1_binary64
10×add-cbrt-cube_binary64
9×cbrt-unprod_binary64
9×prod-exp_binary64
Counts
3 → 64
Calls

3 calls:

14.0ms
(*.f64 (*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
6.0ms
(*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
1.0ms
(cbrt.f64 x)

simplify80.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
554×associate-+l+_binary64
480×unswap-sqr_binary64
433×*-commutative_binary64
198×distribute-rgt-in_binary64
197×distribute-lft-in_binary64
Counts
148 → 107
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01032170
12551766
29181681
321681679
449701679

prune82.0ms (2.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1620162
Fresh055
Picked011
Done022
Total1628170
Error
0.0b
Counts
170 → 8
Alt Table
StatusErrorProgram
✓5.1b
(+.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 y z)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
5.9b
(-.f64 x (*.f64 y (*.f64 z x)))
16.1b
(/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 y z) (*.f64 y z)) (*.f64 1 (*.f64 y z)))))
✓3.9b
(*.f64 (*.f64 x 1) (-.f64 1 (*.f64 y z)))
14.4b
(*.f64 (*.f64 x (sqrt.f64 (-.f64 1 (*.f64 y z)))) (sqrt.f64 (-.f64 1 (*.f64 y z))))
✓3.9b
(+.f64 (*.f64 (fma.f64 1 1 (neg.f64 (*.f64 z y))) x) (*.f64 (fma.f64 (neg.f64 z) y (*.f64 z y)) x))
36.1b
(*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 y z)))))
37.6b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (-.f64 1 (*.f64 y z))))
Compiler

Compiled 4747 to 1452 computations (69.4% saved)

regimes565.0ms (20.2%)

Accuracy

Total 0.1b remaining (83.8%)

Threshold costs 0.1b (83.8%)

Counts
44 → 3
Compiler

Compiled 6148 to 3881 computations (36.9% saved)

bsearch1.0ms (0.1%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
12×*-commutative_binary64
9×+-commutative_binary64
8×distribute-rgt-neg-in_binary64
8×sub-neg_binary64
7×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02254
14554
26754
38354
48954
59054
69054

end7.0ms (0.2%)

Compiler

Compiled 117 to 60 computations (48.7% saved)

sample924.0ms (33%)

Algorithm
1×intervals
Results
268.0ms8000×body128valid
15.0ms535×body128invalid
Compiler

Compiled 206 to 126 computations (38.8% saved)

Profiling

Loading profile data...