Details

Time bar (total: 3.6s)

analyze655.0ms (18.4%)

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
18.7%81.1%0.1%8
28.1%71.8%0.1%9
42.1%57.7%0.1%10
49.1%50.7%0.1%11
57.3%42.5%0.1%12
66.9%33%0.1%13
71.7%28.2%0.1%14
Compiler

Compiled 16 to 10 computations (37.5% saved)

sample36.0ms (1%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
Compiler

Compiled 34 to 22 computations (35.3% saved)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
3×associate-+l+_binary64 associate-+r+_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01018
11418
22018
32018
42018

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
39.1b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶39.1b
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Compiler

Compiled 30 to 18 computations (40% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

36.4b
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

rewrite16.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
39.1b
Rules
3×add-sqr-sqrt_binary64 sqrt-prod_binary64
2×pow1_binary64 add-cube-cbrt_binary64 sqrt-div_binary64 *-un-lft-identity_binary64
1×pow1/2_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-pow1_binary64 flip3-+_binary64 flip-+_binary64 rem-sqrt-square_binary64
Counts
1 → 15
Calls

1 calls:

5.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Compiler

Compiled 352 to 58 computations (83.5% saved)

series48.0ms (1.3%)

Error
0.3b
Counts
1 → 11
Calls

1 calls:

35.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Compiler

Compiled 452 to 353 computations (21.9% saved)

simplify66.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
710×times-frac_binary64
678×associate-*l*_binary64
506×associate-*r*_binary64
392×distribute-rgt-in_binary64
351×distribute-lft-in_binary64
Counts
26 → 19
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
065512
1150488
2361476
31123473
44623473
55663473

prune17.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New17219
Fresh000
Picked101
Done000
Total18220
Error
5.3b
Counts
20 → 2
Alt Table
StatusErrorProgram
36.1b
(+.f64 z (*.f64 (/.f64 1/2 z) (+.f64 (*.f64 y y) (*.f64 x x))))
▶31.6b
(neg.f64 x)
Compiler

Compiled 350 to 98 computations (72% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
5.3b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
5.3b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify11.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune2.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done000
Total022
Error
5.3b
Counts
2 → 2
Alt Table
StatusErrorProgram
▶36.1b
(+.f64 z (*.f64 (/.f64 1/2 z) (+.f64 (*.f64 y y) (*.f64 x x))))
✓31.6b
(neg.f64 x)
Compiler

Compiled 37 to 24 computations (35.1% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

9.4b
(*.f64 (/.f64 1/2 z) (+.f64 (*.f64 y y) (*.f64 x x)))

rewrite35.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
5.3b
Rules
14×add-sqr-sqrt_binary64
13×associate-*l*_binary64
10×times-frac_binary64
9×add-cube-cbrt_binary64 *-un-lft-identity_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
Counts
1 → 38
Calls

1 calls:

9.0ms
(*.f64 (/.f64 1/2 z) (+.f64 (*.f64 y y) (*.f64 x x)))
Compiler

Compiled 860 to 324 computations (62.3% saved)

series51.0ms (1.4%)

Error
1.0b
Counts
1 → 12
Calls

1 calls:

46.0ms
(*.f64 (/.f64 1/2 z) (+.f64 (*.f64 y y) (*.f64 x x)))
Compiler

Compiled 422 to 316 computations (25.1% saved)

simplify107.0ms (3%)

Algorithm
1×egg-herbie
Rules
415×distribute-rgt-in_binary64
394×distribute-lft-in_binary64
362×*-commutative_binary64
317×associate-*l/_binary64
290×associate-/r*_binary64
Counts
50 → 47
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01091057
1367913
21193912
33099912
44655912
54954912
64951912

prune25.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New45247
Fresh000
Picked101
Done011
Total46349
Error
1.0b
Counts
49 → 3
Alt Table
StatusErrorProgram
▶33.2b
(+.f64 z (*.f64 1/2 (/.f64 (*.f64 y y) z)))
34.0b
(+.f64 z (*.f64 1/2 (/.f64 (*.f64 x x) z)))
✓31.6b
(neg.f64 x)
Compiler

Compiled 733 to 313 computations (57.3% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 1/2 (/.f64 (*.f64 y y) z))
0.0b
(+.f64 z (*.f64 1/2 (/.f64 (*.f64 y y) z)))
9.7b
(/.f64 (*.f64 y y) z)

rewrite58.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
17×add-exp-log_binary64 add-cbrt-cube_binary64
12×add-sqr-sqrt_binary64
8×add-cube-cbrt_binary64 *-un-lft-identity_binary64
7×times-frac_binary64 associate-*r*_binary64
5×pow1_binary64 prod-exp_binary64 add-log-exp_binary64 cbrt-unprod_binary64
Counts
3 → 60
Calls

3 calls:

9.0ms
(*.f64 1/2 (/.f64 (*.f64 y y) z))
4.0ms
(/.f64 (*.f64 y y) z)
3.0ms
(+.f64 z (*.f64 1/2 (/.f64 (*.f64 y y) z)))
Compiler

Compiled 943 to 386 computations (59.1% saved)

series71.0ms (2%)

Error
1.0b
Counts
3 → 24
Calls

3 calls:

28.0ms
(+.f64 z (*.f64 1/2 (/.f64 (*.f64 y y) z)))
22.0ms
(*.f64 1/2 (/.f64 (*.f64 y y) z))
20.0ms
(/.f64 (*.f64 y y) z)
Compiler

Compiled 494 to 371 computations (24.9% saved)

simplify93.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
369×associate-*r/_binary64
359×associate-*l/_binary64
290×associate-*l*_binary64
286×associate-/l*_binary64
269×times-frac_binary64
Counts
84 → 59
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01001054
1240976
2735975
33030972
44737972
55073972

prune24.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New57259
Fresh101
Picked101
Done011
Total59362
Error
0.2b
Counts
62 → 3
Alt Table
StatusErrorProgram
33.4b
(*.f64 (sqrt.f64 (+.f64 z (*.f64 (/.f64 (*.f64 y y) z) 1/2))) (sqrt.f64 (+.f64 z (*.f64 (/.f64 (*.f64 y y) z) 1/2))))
31.6b
(neg.f64 x)
30.0b
(+.f64 z (*.f64 1/2 (*.f64 y (/.f64 y z))))
Compiler

Compiled 471 to 231 computations (51% saved)

regimes704.0ms (19.8%)

Accuracy

Total 10.2b remaining (92.6%)

Threshold costs 0b (0%)

Compiler

Compiled 4240 to 2726 computations (35.7% saved)

bsearch61.0ms (1.7%)

Steps
ItersRangePoint
5
8.36883088002408e+123
4.697086264747939e+126
7.85671152855867e+125
2
1.9999487931761078e-27
2.313198134845921e-27
2.0391049608848342e-27
6
2.781874505104325e-61
3.2342096562767513e-60
3.165928133677629e-60
9
9.99616313998085e-100
1.3435167991554558e-94
1.0148214255014566e-99
Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
3×*-commutative_binary64
1×neg-sub0_binary64 sub-neg_binary64 mul-1-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03573
14373
24573
34673
44773
54773

end15.0ms (0.4%)

Compiler

Compiled 156 to 99 computations (36.5% saved)

sample1.4s (40%)

Algorithm
1×intervals
Results
602.0ms8000×body128valid
Compiler

Compiled 112 to 72 computations (35.7% saved)

Profiling

Loading profile data...