Details

Time bar (total: 2.5min)

analyze920.0ms (0.6%)

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
6.2%93.6%0.2%5
6.2%68.6%25.1%6
6.2%49.9%43.9%7
6.2%35.9%57.9%8
6.2%25.3%68.4%9
6.2%20.1%73.7%10
6.2%15.7%78.1%11
6.2%12%81.7%12
6.2%9%84.8%13
6.2%7.5%86.3%14
Compiler

Compiled 36 to 28 computations (22.2% saved)

sample386.0ms (0.3%)

Algorithm
1×intervals
Results
122.0ms146×body512valid
74.0ms326×body128nan
46.0ms49×body1024valid
16.0ms36×body256valid
5.0ms25×body128valid
Compiler

Compiled 75 to 59 computations (21.3% saved)

simplify64.0ms (0%)

Algorithm
1×egg-herbie
Rules
699×fma-def_binary64
529×associate-+r-_binary64
510×associate-+l-_binary64
481×associate--r+_binary64
355×+-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02550
15450
216650
389350
4407050
5493950
6504050

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
4.4b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶4.4b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Compiler

Compiled 136 to 100 computations (26.5% saved)

localize45.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.8b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
✓2.6b
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
✓3.7b
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
✓4.2b
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series105.0ms (0.1%)

Counts
4 → 4
Calls

4 calls:

27.0ms
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
26.0ms
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
25.0ms
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
25.0ms
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

rewrite111.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
240×sqrt-prod_binary64
208×*-un-lft-identity_binary64
168×prod-diff_binary64
156×add-sqr-sqrt_binary64
124×add-cube-cbrt_binary64
Counts
4 → 300
Calls

4 calls:

20.0ms
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
15.0ms
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
13.0ms
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
12.0ms
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

simplify431.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
784×times-frac_binary64
760×fma-neg_binary64
360×exp-prod_binary64
312×*-commutative_binary64
308×fabs-mul_binary64
Counts
304 → 253
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03309256
15834524
216023684
334853684
442973684
544533684
647143684
747743684
850843684

prune988.0ms (0.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2467253
Fresh000
Picked101
Done000
Total2477254
Error
0.7b
Counts
254 → 7
Alt Table
StatusErrorProgram
3.6b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.2b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 (+.f64 y 1))) (*.f64 (sqrt.f64 y) (sqrt.f64 y))) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
38.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (cbrt.f64 (sqrt.f64 (+.f64 z 1)))) (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (*.f64 (sqrt.f64 (sqrt.f64 z)) (sqrt.f64 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)) (*.f64 (sqrt.f64 (sqrt.f64 z)) (sqrt.f64 (sqrt.f64 z)))))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.7b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
▶2.2b
(+.f64 (+.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.4b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Compiler

Compiled 12513 to 7064 computations (43.5% saved)

localize40.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
2.6b
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.7b
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
4.2b
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series100.0ms (0.1%)

Counts
1 → 7
Calls

1 calls:

100.0ms
(+.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))

rewrite90.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
83×*-un-lft-identity_binary64
49×associate-+r+_binary64
48×sqrt-prod_binary64
42×prod-diff_binary64
30×add-sqr-sqrt_binary64
Counts
1 → 95
Calls

1 calls:

61.0ms
(+.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))

simplify268.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
525×+-commutative_binary64
300×distribute-rgt-in_binary64
292×distribute-lft-in_binary64
162×fma-neg_binary64
159×associate-*l*_binary64
Counts
102 → 108
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02035251
16354984
227014873
347664873
449324873

prune1.3s (0.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2944298
Fresh516
Picked101
Done000
Total3005305
Error
0.0b
Counts
305 → 5
Alt Table
StatusErrorProgram
1.0b
(+.f64 (+.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
13.2b
(+.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1 (+.f64 (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 (+.f64 y 1))) (+.f64 (*.f64 (sqrt.f64 y) (sqrt.f64 y)) (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))))) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (pow.f64 (sqrt.f64 (+.f64 y 1)) 3) (pow.f64 (sqrt.f64 y) 3)))) (+.f64 (*.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 (+.f64 z 1))) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))) (*.f64 (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 (+.f64 y 1))) (+.f64 (*.f64 (sqrt.f64 y) (sqrt.f64 y)) (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))))) (-.f64 (pow.f64 (sqrt.f64 (+.f64 z 1)) 3) (pow.f64 (sqrt.f64 z) 3)))) (*.f64 (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 (+.f64 y 1))) (+.f64 (*.f64 (sqrt.f64 y) (sqrt.f64 y)) (*.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))))) (+.f64 (*.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 (+.f64 z 1))) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
2.7b
(+.f64 (fma.f64 (sqrt.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))) (sqrt.f64 (+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
▶0.5b
(+.f64 (/.f64 (fma.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Compiler

Compiled 16657 to 9763 computations (41.4% saved)

localize50.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (fma.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))
✓0.1b
(*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
✓0.2b
(*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
2.6b
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

series2.4min (96.8%)

Calls

2 calls:

489.0ms
(*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
247.0ms
(*.f64 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))

Profiling

Loading profile data...