Details

Time bar (total: 5.9s)

analyze1.1s (19%)

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
3.1%71.7%25.1%9
4.7%69.8%25.5%10
7%66.9%26.1%11
10.9%61.5%27.6%12
11.1%47%41.9%13
12.8%44.4%42.8%14
Compiler

Compiled 24 to 20 computations (16.7% saved)

sample77.0ms (1.3%)

Algorithm
1×intervals
Results
21.0ms344×body128nan
17.0ms256×body128valid
Compiler

Compiled 51 to 43 computations (15.7% saved)

simplify107.0ms (1.8%)

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 → 1
Iterations

Useful iterations: 2 (0.0ms)

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

prune10.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
1.1b
Counts
2 → 2
Alt Table
StatusErrorProgram
2.4b
(*.f64 1/3 (acos.f64 (*.f64 x (/.f64 (/.f64 (sqrt.f64 t) z) (*.f64 y 18)))))
▶1.2b
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
Compiler

Compiled 97 to 77 computations (20.6% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(*.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))))
2.6b
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
3.9b
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))

rewrite207.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0b
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 → 133
Calls

4 calls:

13.0ms
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
9.0ms
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))
8.0ms
(*.f64 3 (/.f64 x (*.f64 y 27)))
7.0ms
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
Compiler

Compiled 3800 to 2780 computations (26.8% saved)

series152.0ms (2.5%)

Error
1.0b
Counts
4 → 39
Calls

4 calls:

56.0ms
(*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))
36.0ms
(*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
33.0ms
(/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2))
19.0ms
(*.f64 3 (/.f64 x (*.f64 y 27)))
Compiler

Compiled 1564 to 1214 computations (22.4% saved)

simplify186.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
363×associate--l+_binary64
309×times-frac_binary64
262×sub-neg_binary64
231×associate--r+_binary64
203×associate-*l*_binary64
Counts
172 → 140
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02314331
15713056
225733053
330843053
447623053
549923053
649313053

prune84.0ms (1.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1382140
Fresh101
Picked101
Done000
Total1402142
Error
0b
Counts
142 → 2
Alt Table
StatusErrorProgram
1.0b
(*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))))
▶0.2b
(*.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 1696 to 1165 computations (31.3% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

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))
2.6b
(*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
3.9b
(/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2))

rewrite219.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0b
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 → 135
Calls

4 calls:

15.0ms
(*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
8.0ms
(/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2))
7.0ms
(*.f64 1/9 (/.f64 x y))
4.0ms
(/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3))
Compiler

Compiled 4505 to 3211 computations (28.7% saved)

series185.0ms (3.1%)

Error
0b
Counts
4 → 39
Calls

4 calls:

62.0ms
(*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
60.0ms
(/.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) (cbrt.f64 3))
36.0ms
(/.f64 (*.f64 1/9 (/.f64 x y)) (*.f64 z 2))
21.0ms
(*.f64 1/9 (/.f64 x y))
Compiler

Compiled 2166 to 1824 computations (15.8% saved)

simplify198.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
776×associate-/r/_binary64
583×*-commutative_binary64
231×times-frac_binary64
183×associate--l+_binary64
180×log-prod_binary64
Counts
174 → 131
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02364226
15493326
221173326
335013322
449063322
549933322
649633322

prune88.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1310131
Fresh011
Picked011
Done000
Total1312133
Error
0b
Counts
133 → 2
Alt Table
StatusErrorProgram
▶1.0b
(*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))))
✓0.2b
(*.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 2252 to 1501 computations (33.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
1.0b
(*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))))
2.5b
(*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t))
5.9b
(/.f64 x (*.f64 z y))

rewrite86.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
34×add-cbrt-cube_binary64
34×add-exp-log_binary64
19×add-sqr-sqrt_binary64
14×cbrt-unprod_binary64
14×prod-exp_binary64
Counts
4 → 93
Calls

4 calls:

10.0ms
(*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
9.0ms
(*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t))
4.0ms
(/.f64 x (*.f64 z y))
3.0ms
(*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))))
Compiler

Compiled 1774 to 751 computations (57.7% saved)

series173.0ms (2.9%)

Error
0b
Counts
4 → 45
Calls

4 calls:

57.0ms
(*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
48.0ms
(*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t))
39.0ms
(*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))))
28.0ms
(/.f64 x (*.f64 z y))
Compiler

Compiled 1638 to 1239 computations (24.4% saved)

simplify142.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
568×associate-/l*_binary64
472×associate-/r*_binary64
407×*-commutative_binary64
202×associate--l+_binary64
186×sqr-pow_binary64
Counts
138 → 95
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01562370
13522069
212142068
331572068
439832068
547182068
649772068

prune29.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New95095
Fresh000
Picked011
Done011
Total95297
Error
0b
Counts
97 → 2
Alt Table
StatusErrorProgram
1.0b
(*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))))
0.2b
(*.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 809 to 402 computations (50.3% saved)

regimes805.0ms (13.5%)

Accuracy

Total 0.3b remaining (97.1%)

Threshold costs 0.3b (97.1%)

Compiler

Compiled 13904 to 11502 computations (17.3% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01935
12535
22435

end7.0ms (0.1%)

Remove

(sort y z)

Compiler

Compiled 78 to 66 computations (15.4% saved)

sample2.0s (33.9%)

Algorithm
1×intervals
Results
659.0ms10160×body128nan
546.0ms8000×body128valid
Compiler

Compiled 99 to 83 computations (16.2% saved)

Profiling

Loading profile data...