Details

Time bar (total: 4.4s)

analyze802.0ms (18.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
18.7%81.1%0.2%10
26.5%71.5%1.9%11
28.8%66%5.2%12
32.7%58.7%8.5%13
41.9%48.4%9.7%14
Compiler

Compiled 20 to 13 computations (35% saved)

sample29.0ms (0.7%)

Algorithm
1×intervals
Results
9.0ms249×body128valid
2.0ms63×body128invalid
0.0ms3×body512valid
0.0ms2×body1024valid
0.0ms2×body256valid
Compiler

Compiled 43 to 29 computations (32.6% saved)

simplify15.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
317×associate-+l+_binary64
210×associate-+r+_binary64
79×distribute-rgt-in_binary64
73×distribute-lft-in_binary64
49×+-commutative_binary64
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01322
13119
28119
320719
437819
543619
644019
740019

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
Compiler

Compiled 51 to 36 computations (29.4% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 (+.f64 y z) 2) t)
0.0b
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0b
(*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t))

rewrite76.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×add-log-exp_binary64 add-sqr-sqrt_binary64
5×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64
3×flip3-+_binary64 flip-+_binary64 associate-*l*_binary64 associate-*r*_binary64
2×distribute-rgt-in_binary64 distribute-lft-in_binary64 associate-*r/_binary64 sum-log_binary64 associate-+l+_binary64 +-commutative_binary64
1×pow-prod-down_binary64 prod-exp_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 *-commutative_binary64
Counts
3 → 46
Calls

3 calls:

10.0ms
(*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t))
10.0ms
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
6.0ms
(+.f64 (*.f64 (+.f64 y z) 2) t)
Compiler

Compiled 1034 to 582 computations (43.7% saved)

series198.0ms (4.5%)

Error
0.0b
Counts
3 → 63
Calls

3 calls:

81.0ms
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
58.0ms
(*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t))
35.0ms
(+.f64 (*.f64 (+.f64 y z) 2) t)
Compiler

Compiled 2040 to 1434 computations (29.7% saved)

simplify99.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
616×associate-+l+_binary64
491×associate-+r+_binary64
429×sub-neg_binary64
359×cancel-sign-sub-inv_binary64
310×*-commutative_binary64
Counts
109 → 85
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01071760
13271583
211131568
321251568
446071568
550871568

prune54.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New80585
Fresh000
Picked011
Done000
Total80686
Error
0.0b
Counts
86 → 6
Alt Table
StatusErrorProgram
30.1b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
✓0.1b
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
▶0.1b
(+.f64 (+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x)) (*.f64 y 5))
31.1b
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x)) (*.f64 y (*.f64 y 25))) (-.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5)))
31.6b
(+.f64 (*.f64 (sqrt.f64 x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) (sqrt.f64 x))) (*.f64 y 5))
34.6b
(*.f64 (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))) (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))))
Compiler

Compiled 1136 to 669 computations (41.1% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x)) (*.f64 y 5))
0.0b
(+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x))
0.0b
(*.f64 x (+.f64 z y))

rewrite83.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-log-exp_binary64
7×add-sqr-sqrt_binary64 *-un-lft-identity_binary64
5×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 associate-+l+_binary64
4×associate-*r*_binary64 sum-log_binary64
3×flip3-+_binary64 flip-+_binary64 associate-*l*_binary64
Counts
3 → 51
Calls

3 calls:

10.0ms
(+.f64 (+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x)) (*.f64 y 5))
8.0ms
(+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x))
6.0ms
(*.f64 x (+.f64 z y))
Compiler

Compiled 1194 to 529 computations (55.7% saved)

series192.0ms (4.4%)

Error
0.0b
Counts
3 → 60
Calls

3 calls:

80.0ms
(+.f64 (+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x)) (*.f64 y 5))
65.0ms
(+.f64 (*.f64 2 (*.f64 x (+.f64 z y))) (*.f64 t x))
30.0ms
(*.f64 x (+.f64 z y))
Compiler

Compiled 2049 to 1395 computations (31.9% saved)

simplify103.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
556×sub-neg_binary64
506×cancel-sign-sub-inv_binary64
370×*-commutative_binary64
279×distribute-rgt-neg-in_binary64
228×distribute-lft-neg-in_binary64
Counts
111 → 81
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01221803
13671524
212711494
325931491
445301491
551301491

prune52.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New80181
Fresh044
Picked101
Done011
Total81687
Error
0.0b
Counts
87 → 6
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 (+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x)) (*.f64 y 5))
30.1b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
✓0.1b
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
31.1b
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x)) (*.f64 y (*.f64 y 25))) (-.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5)))
31.6b
(+.f64 (*.f64 (sqrt.f64 x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) (sqrt.f64 x))) (*.f64 y 5))
34.6b
(*.f64 (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))) (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))))
Compiler

Compiled 992 to 585 computations (41% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x)) (*.f64 y 5))
0.0b
(+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x))
0.0b
(+.f64 (*.f64 x z) (*.f64 x y))

rewrite61.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
12×add-log-exp_binary64
5×sum-log_binary64
3×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 flip3-+_binary64 *-un-lft-identity_binary64 flip-+_binary64 +-commutative_binary64 associate-+l+_binary64
1×distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
Counts
3 → 38
Calls

3 calls:

9.0ms
(+.f64 (+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x)) (*.f64 y 5))
7.0ms
(+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x))
4.0ms
(+.f64 (*.f64 x z) (*.f64 x y))
Compiler

Compiled 1119 to 433 computations (61.3% saved)

series185.0ms (4.2%)

Error
0.0b
Counts
3 → 60
Calls

3 calls:

80.0ms
(+.f64 (+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x)) (*.f64 y 5))
64.0ms
(+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x))
30.0ms
(+.f64 (*.f64 x z) (*.f64 x y))
Compiler

Compiled 2049 to 1395 computations (31.9% saved)

simplify59.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
725×distribute-rgt-in_binary64
677×distribute-lft-in_binary64
219×associate-+l+_binary64
201×cancel-sign-sub-inv_binary64
176×associate-+r+_binary64
Counts
98 → 79
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01021699
13441438
211821405
349991405

prune41.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New79079
Fresh044
Picked011
Done011
Total79685
Error
0.0b
Counts
85 → 6
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 (+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x)) (*.f64 y 5))
▶30.1b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
✓0.1b
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
31.1b
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x)) (*.f64 y (*.f64 y 25))) (-.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5)))
31.6b
(+.f64 (*.f64 (sqrt.f64 x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) (sqrt.f64 x))) (*.f64 y 5))
34.6b
(*.f64 (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))) (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))))
Compiler

Compiled 1017 to 581 computations (42.9% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
0.0b
(*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x)
0.3b
(pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)
34.7b
(cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3))

rewrite97.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-sqr-sqrt_binary64
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×add-cube-cbrt_binary64 cbrt-prod_binary64 *-un-lft-identity_binary64
6×add-log-exp_binary64 associate-*l/_binary64
4×flip3-+_binary64 cube-div_binary64 flip-+_binary64
Counts
4 → 74
Calls

4 calls:

6.0ms
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
6.0ms
(pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)
5.0ms
(*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x)
2.0ms
(cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3))
Compiler

Compiled 1839 to 1147 computations (37.6% saved)

series466.0ms (10.6%)

Error
0.0b
Counts
4 → 105
Calls

4 calls:

193.0ms
(pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)
89.0ms
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
64.0ms
(*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x)
58.0ms
(cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3))
Compiler

Compiled 6435 to 4771 computations (25.9% saved)

simplify182.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
310×associate-+r+_binary64
295×associate-*r*_binary64
274×unswap-sqr_binary64
271×associate-*l*_binary64
242×distribute-rgt-out_binary64
Counts
179 → 161
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02746169
17675524
230585007
349145007
449655007

prune102.0ms (2.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1601161
Fresh123
Picked011
Done022
Total1616167
Error
0.0b
Counts
167 → 6
Alt Table
StatusErrorProgram
0.1b
(+.f64 (+.f64 (*.f64 2 (+.f64 (*.f64 x z) (*.f64 x y))) (*.f64 t x)) (*.f64 y 5))
30.1b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) 3)) (*.f64 y 5))
31.1b
(/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 (*.f64 2 (+.f64 z y)) t)) 2) (*.f64 (*.f64 y y) -25)) (+.f64 (*.f64 x (+.f64 (*.f64 2 (+.f64 z y)) t)) (*.f64 y -5)))
0.1b
(+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
31.6b
(+.f64 (*.f64 (sqrt.f64 x) (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) (sqrt.f64 x))) (*.f64 y 5))
34.6b
(*.f64 (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))) (sqrt.f64 (+.f64 (*.f64 (+.f64 t (*.f64 2 (+.f64 z y))) x) (*.f64 y 5))))
Compiler

Compiled 2538 to 1527 computations (39.8% saved)

regimes569.0ms (12.9%)

Accuracy

Total 0.0b remaining (46.9%)

Threshold costs 0.0b (46.9%)

Compiler

Compiled 8418 to 5946 computations (29.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
3×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01422
12122
22122

end1.0ms (0%)

Compiler

Compiled 19 to 13 computations (31.6% saved)

sample878.0ms (20%)

Algorithm
1×intervals
Results
296.0ms7731×body128valid
71.0ms1881×body128invalid
16.0ms120×body1024valid
10.0ms96×body512valid
4.0ms53×body256valid
Compiler

Compiled 190 to 130 computations (31.6% saved)

Profiling

Loading profile data...