Details

Time bar (total: 16.8s)

analyze4.1s (24.4%)

Algorithm
2×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04968400
14968400
066
166
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%11
0%99.7%0.3%12
0%99.7%0.3%12
1.6%98.1%0.3%13
1.6%98.1%0.3%13
2.3%97.4%0.3%14
2.3%97.4%0.3%14
Symmetry

(sort y z t)

(sort a b)

Compiler

Compiled 36 to 36 computations (0% saved)

sample1.5s (9%)

Algorithm
2×intervals
Results
27.0ms512×body128valid
12.0ms199×body128invalid
Compiler

Compiled 6551 to 8729 computations (-33.2% saved)

simplify51.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
078825
178825

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 34 to 34 computations (0% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 (*.f64 a 27) b))
0.2b
(*.f64 (*.f64 y 9) z)
0.2b
(*.f64 (*.f64 a 27) b)
6.2b
(*.f64 (*.f64 (*.f64 y 9) z) t)

rewrite146.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
23×pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
12×pow-prod-down_binary64_18563 prod-exp_binary64_18541 cbrt-unprod_binary64_18525
9×add-log-exp_binary64_18531 associate-*r*_binary64_18432
7×add-cube-cbrt_binary64_18527 add-sqr-sqrt_binary64_18514 *-un-lft-identity_binary64_18492
3×associate-*l*_binary64_18433 *-commutative_binary64_18423
2×sum-log_binary64_18583 associate-+l+_binary64_18425
1×diff-log_binary64_18584 flip3-+_binary64_18495 flip-+_binary64_18466 associate-+l-_binary64_18427 sub-neg_binary64_18485 cancel-sign-sub-inv_binary64_18458 +-commutative_binary64_18422
Counts
4 → 72
Calls

4 calls:

7.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 (*.f64 a 27) b))
7.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
5.0ms
(*.f64 (*.f64 y 9) z)
5.0ms
(*.f64 (*.f64 a 27) b)
Compiler

Compiled 1755 to 1161 computations (33.8% saved)

series1.1s (6.7%)

Error
2.0b
Counts
4 → 57
Calls

4 calls:

746.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 (*.f64 a 27) b))
177.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
79.0ms
(*.f64 (*.f64 y 9) z)
72.0ms
(*.f64 (*.f64 a 27) b)
Compiler

Compiled 2249 to 1922 computations (14.5% saved)

simplify94.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
049821863
149821863

prune160.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1218129
Fresh000
Picked101
Done000
Total1228130
Error
0.0b
Counts
130 → 8
Compiler

Compiled 2536 to 1415 computations (44.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 9 (*.f64 t (*.f64 z y)))) (*.f64 (*.f64 a 27) b))
0.2b
(*.f64 9 (*.f64 t (*.f64 z y)))
0.2b
(*.f64 (*.f64 a 27) b)
6.0b
(*.f64 t (*.f64 z y))

rewrite128.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
23×pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
12×pow-prod-down_binary64_18563 prod-exp_binary64_18541 cbrt-unprod_binary64_18525
9×add-log-exp_binary64_18531
7×add-cube-cbrt_binary64_18527 add-sqr-sqrt_binary64_18514 *-un-lft-identity_binary64_18492 associate-*l*_binary64_18433
5×associate-*r*_binary64_18432
3×*-commutative_binary64_18423
2×sum-log_binary64_18583 associate-+l+_binary64_18425
1×diff-log_binary64_18584 flip3-+_binary64_18495 flip-+_binary64_18466 associate-+l-_binary64_18427 sub-neg_binary64_18485 cancel-sign-sub-inv_binary64_18458 +-commutative_binary64_18422
Counts
4 → 72
Calls

4 calls:

7.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 9 (*.f64 t (*.f64 z y)))) (*.f64 (*.f64 a 27) b))
7.0ms
(*.f64 9 (*.f64 t (*.f64 z y)))
5.0ms
(*.f64 (*.f64 a 27) b)
5.0ms
(*.f64 t (*.f64 z y))
Compiler

Compiled 1755 to 974 computations (44.5% saved)

series1.2s (7%)

Error
0.0b
Counts
4 → 60
Calls

4 calls:

739.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 9 (*.f64 t (*.f64 z y)))) (*.f64 (*.f64 a 27) b))
166.0ms
(*.f64 9 (*.f64 t (*.f64 z y)))
140.0ms
(*.f64 t (*.f64 z y))
82.0ms
(*.f64 (*.f64 a 27) b)
Compiler

Compiled 2402 to 2033 computations (15.4% saved)

simplify94.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049631878
149631878

prune144.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1302132
Fresh167
Picked101
Done000
Total1328140
Error
0.0b
Counts
140 → 8
Compiler

Compiled 2582 to 1342 computations (48% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 y (*.f64 9 z)) t)) (*.f64 (*.f64 a 27) b))
0.2b
(*.f64 y (*.f64 9 z))
0.2b
(*.f64 (*.f64 a 27) b)
6.2b
(*.f64 (*.f64 y (*.f64 9 z)) t)

rewrite133.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
23×pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
12×pow-prod-down_binary64_18563 prod-exp_binary64_18541 cbrt-unprod_binary64_18525
9×add-log-exp_binary64_18531
7×add-cube-cbrt_binary64_18527 add-sqr-sqrt_binary64_18514 *-un-lft-identity_binary64_18492 associate-*r*_binary64_18432
5×associate-*l*_binary64_18433
3×*-commutative_binary64_18423
2×sum-log_binary64_18583 associate-+l+_binary64_18425
1×diff-log_binary64_18584 flip3-+_binary64_18495 flip-+_binary64_18466 associate-+l-_binary64_18427 sub-neg_binary64_18485 cancel-sign-sub-inv_binary64_18458 +-commutative_binary64_18422
Counts
4 → 72
Calls

4 calls:

8.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 y (*.f64 9 z)) t)) (*.f64 (*.f64 a 27) b))
7.0ms
(*.f64 (*.f64 y (*.f64 9 z)) t)
5.0ms
(*.f64 (*.f64 a 27) b)
5.0ms
(*.f64 y (*.f64 9 z))
Compiler

Compiled 1755 to 1161 computations (33.8% saved)

series1.2s (6.9%)

Error
0.0b
Counts
4 → 57
Calls

4 calls:

757.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 y (*.f64 9 z)) t)) (*.f64 (*.f64 a 27) b))
192.0ms
(*.f64 (*.f64 y (*.f64 9 z)) t)
89.0ms
(*.f64 (*.f64 a 27) b)
78.0ms
(*.f64 y (*.f64 9 z))
Compiler

Compiled 2249 to 1922 computations (14.5% saved)

simplify76.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049511864
149511864

prune139.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1281129
Fresh347
Picked011
Done000
Total1316137
Error
0.0b
Counts
137 → 6
Compiler

Compiled 2450 to 1346 computations (45.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 a (*.f64 27 b)))
0.2b
(*.f64 a (*.f64 27 b))
0.2b
(*.f64 (*.f64 y 9) z)
6.2b
(*.f64 (*.f64 (*.f64 y 9) z) t)

rewrite131.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
23×pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528
12×pow-prod-down_binary64_18563 prod-exp_binary64_18541 cbrt-unprod_binary64_18525
9×add-log-exp_binary64_18531
7×add-cube-cbrt_binary64_18527 add-sqr-sqrt_binary64_18514 *-un-lft-identity_binary64_18492 associate-*r*_binary64_18432
5×associate-*l*_binary64_18433
3×*-commutative_binary64_18423
2×sum-log_binary64_18583 associate-+l+_binary64_18425
1×diff-log_binary64_18584 flip3-+_binary64_18495 flip-+_binary64_18466 associate-+l-_binary64_18427 sub-neg_binary64_18485 cancel-sign-sub-inv_binary64_18458 +-commutative_binary64_18422
Counts
4 → 72
Calls

4 calls:

10.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 a (*.f64 27 b)))
7.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
5.0ms
(*.f64 (*.f64 y 9) z)
5.0ms
(*.f64 a (*.f64 27 b))
Compiler

Compiled 1755 to 1161 computations (33.8% saved)

series1.2s (6.9%)

Error
0.0b
Counts
4 → 57
Calls

4 calls:

773.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 a (*.f64 27 b)))
186.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
83.0ms
(*.f64 a (*.f64 27 b))
71.0ms
(*.f64 (*.f64 y 9) z)
Compiler

Compiled 2249 to 1922 computations (14.5% saved)

simplify75.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049541861
149541861

prune128.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1290129
Fresh044
Picked011
Done011
Total1296135
Error
0.0b
Counts
135 → 6
Compiler

Compiled 2361 to 1255 computations (46.8% saved)

regimes2.1s (12.3%)

Accuracy

Total 0.6b remaining (98%)

Threshold costs 0.6b (98%)

Compiler

Compiled 15527 to 14823 computations (4.5% saved)

bsearch45.0ms (0.3%)

Steps
ItersRangePoint
8
4.660724842957226e-82
1.6691835070491168e-78
1.5261587504325596e-81
Compiler

Compiled 1 to 6 computations (-500% saved)

simplify68.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
011656
111656
Compiler

Compiled 152 to 124 computations (18.4% saved)

end0.0ms (0%)

sample2.8s (16.7%)

Algorithm
1×intervals
Results
427.0ms8000×body128valid
170.0ms3078×body128invalid
Compiler

Compiled 1007 to 950 computations (5.7% saved)

Profiling

Loading profile data...