Details

Time bar (total: 6.6s)

analyze1.3s (20.2%)

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
0%74.9%25.1%9
1.6%72.9%25.5%10
3.1%70.8%26.1%11
5.5%67%27.6%12
8.4%49.7%41.9%13
9.8%47.3%42.8%14
Compiler

Compiled 24 to 20 computations (16.7% saved)

sample3.3s (50.4%)

Symmetry

(sort y z)

Results
1.8s10537×body128invalid
1.5s8256×body128valid
Compiler

Compiled 47 to 39 computations (17% saved)

simplify96.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
2067×associate-/l*_binary64
1151×associate-/l/_binary64
961×associate-/r/_binary64
904×*-commutative_binary64
879×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02026
14023
212120
344620
4175020
5300520
6300220
7300220
8375320
9407420
10421520
11422520
12422920
13423020
14539820

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
1.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶1.0b
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
Compiler

Compiled 82 to 65 computations (20.7% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 3 (/.f64 x (*.f64 y 27)))
✓1.0b
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
✓3.8b
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
✓5.2b
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))

series88.0ms (1.3%)

Counts
4 → 144
Calls

4 calls:

42.0ms
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
19.0ms
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))
19.0ms
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
7.0ms
(*.f64 3 (/.f64 x (*.f64 y 27)))

rewrite40.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
96×add-exp-log_binary64
92×add-cbrt-cube_binary64
41×prod-exp_binary64
39×cbrt-unprod_binary64
31×add-sqr-sqrt_binary64
Counts
4 → 141
Calls

4 calls:

11.0ms
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
6.0ms
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))
5.0ms
(*.f64 3 (/.f64 x (*.f64 y 27)))
5.0ms
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))

simplify175.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
782×associate-/r/_binary64
291×times-frac_binary64
262×sub-neg_binary64
198×associate-*l*_binary64
191×log-prod_binary64
Counts
285 → 211
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02325969
15474670
224414667
340434667
447934667
549774667

prune190.0ms (2.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2101211
Fresh000
Picked011
Done000
Total2102212
Error
0b
Counts
212 → 2
Alt Table
StatusErrorProgram
✓1.0b
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
▶0.0b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3)))
Compiler

Compiled 5829 to 4176 computations (28.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3))
✓0.3b
(*.f64 1/9 (/.f64 x y))
✓3.8b
(*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
✓5.2b
(/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2))

series135.0ms (2%)

Counts
4 → 120
Calls

4 calls:

63.0ms
(/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3))
46.0ms
(*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
20.0ms
(/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2))
6.0ms
(*.f64 1/9 (/.f64 x y))

rewrite35.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
61×add-exp-log_binary64
60×add-cbrt-cube_binary64
39×add-sqr-sqrt_binary64
30×*-un-lft-identity_binary64
30×times-frac_binary64
Counts
4 → 143
Calls

4 calls:

8.0ms
(*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
5.0ms
(/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2))
5.0ms
(*.f64 1/9 (/.f64 x y))
3.0ms
(/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3))

simplify173.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
722×associate-/r/_binary64
549×*-commutative_binary64
213×times-frac_binary64
183×associate--l+_binary64
173×log-prod_binary64
Counts
263 → 212
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02375748
15254830
219794830
333034826
447894826
549424826

prune200.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2120212
Fresh000
Picked011
Done011
Total2122214
Error
0b
Counts
214 → 2
Alt Table
StatusErrorProgram
✓1.0b
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
✓0.0b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3)))
Compiler

Compiled 7136 to 4964 computations (30.4% saved)

regimes692.0ms (10.5%)

Accuracy

Total -0.2b remaining (-70.9%)

Threshold costs -0.2b (-70.9%)

Counts
40 → 1
Compiler

Compiled 14579 to 11985 computations (17.8% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01935
12535
22435

end82.0ms (1.2%)

Remove

(sort y z)

Compiler

Compiled 155 to 131 computations (15.5% saved)

Profiling

Loading profile data...