Details

Time bar (total: 4.5s)

analyze961.0ms (21.3%)

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
13.3%86.5%0.2%9
19.9%79.9%0.2%10
22.8%77%0.2%11
25.4%72.7%1.9%12
35.8%59.6%4.6%13
42%52.3%5.8%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (27.7%)

Results
973.0ms8256×body128valid
257.0ms2060×body128invalid
Compiler

Compiled 28 to 18 computations (35.7% saved)

preprocess15.0ms (0.3%)

Algorithm
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03191
044
Stop Event
1×saturated
1×saturated
Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
Stop Event
1×saturated
Counts
1 → 1

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
1.7b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶1.7b
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
Compiler

Compiled 39 to 24 computations (38.5% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.8b
(*.f64 (-.f64 y x) (/.f64 z t))

series19.0ms (0.4%)

Counts
1 → 48
Calls

12 calls:

3.0ms
(*.f64 (-.f64 y x) (/.f64 z t))
z
-inf
2.0ms
(*.f64 (-.f64 y x) (/.f64 z t))
z
0
2.0ms
(*.f64 (-.f64 y x) (/.f64 z t))
z
inf
2.0ms
(*.f64 (-.f64 y x) (/.f64 z t))
y
-inf
1.0ms
(*.f64 (-.f64 y x) (/.f64 z t))
t
-inf

rewrite29.0ms (0.6%)

Algorithm
1×batch-egg-rewrite
Rules
669×log1p-expm1-u_binary64
669×expm1-log1p-u_binary64
212×log-prod_binary64
157×log-pow_binary64
154×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
115310
2169910
Stop Event
1×node limit
Counts
1 → 16

simplify15.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
2×fma-neg_binary64
2×fma-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020615
124615
226615
Stop Event
1×saturated
Counts
64 → 22

prune18.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New18422
Fresh000
Picked011
Done000
Total18523
Error
0.0b
Counts
23 → 5
Alt Table
StatusErrorProgram
✓1.7b
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
26.1b
(+.f64 x (pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 2))
▶2.3b
(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3))
5.5b
(+.f64 x (/.f64 (-.f64 (*.f64 y z) (*.f64 z x)) t))
5.5b
(+.f64 x (-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t)))
Compiler

Compiled 432 to 184 computations (57.4% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.7b
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3)
✓6.5b
(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
6.8b
(*.f64 (-.f64 y x) (/.f64 z t))

series401.0ms (8.9%)

Counts
2 → 16
Calls

24 calls:

187.0ms
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3)
x
0
66.0ms
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3)
y
0
21.0ms
(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
y
0
18.0ms
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3)
y
-inf
18.0ms
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3)
t
-inf

rewrite38.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
818×log1p-expm1-u_binary64
818×expm1-log1p-u_binary64
103×add-sqr-sqrt_binary64
98×add-cbrt-cube_binary64
96×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
121222
2213922
Stop Event
1×node limit
Counts
2 → 36

simplify325.0ms (7.2%)

Algorithm
1×egg-herbie
Rules
1753×sqr-pow_binary64
370×pow-sqr_binary64
56×cube-mult_binary64
56×unpow3_binary64
54×cube-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01441322
12731322
23831322
34931322
46111322
57301322
68551322
79831322
811181322
912561322
1014011322
1115491322
1217041322
1318621322
1420271322
1521951322
1623701322
1725481322
1825831322
1926031322
2026211322
2126351322
2226351322
2327911322
2429491322
2531151322
2633321322
2735341322
2837431322
2939551322
3041741322
3143961322
3246251322
3348571322
3448651322
3548691322
3648691322
Stop Event
1×node limit
Counts
52 → 62

prune80.0ms (1.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New83184
Fresh033
Picked011
Done011
Total83689
Error
0.0b
Counts
89 → 6
Alt Table
StatusErrorProgram
▶2.5b
(+.f64 x (pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3))
5.5b
(+.f64 x (/.f64 (-.f64 (*.f64 y z) (*.f64 z x)) t))
✓1.7b
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
26.1b
(+.f64 x (pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 2))
✓2.3b
(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3))
5.5b
(+.f64 x (-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t)))
Compiler

Compiled 2605 to 1516 computations (41.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t)))
✓0.6b
(cbrt.f64 (-.f64 y x))
✓0.7b
(pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3)
✓11.2b
(cbrt.f64 (/.f64 z t))

series466.0ms (10.3%)

Counts
4 → 24
Calls

36 calls:

194.0ms
(pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3)
x
0
63.0ms
(pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3)
y
0
22.0ms
(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t)))
y
0
20.0ms
(pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3)
z
-inf
20.0ms
(pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3)
y
-inf

rewrite44.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
424×unpow-prod-down_binary64
295×log-prod_binary64
292×pow2_binary64
212×log-pow_binary64
207×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01239
123434
2244234
Stop Event
1×node limit
Counts
4 → 84

simplify351.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
1795×sqr-pow_binary64
316×pow-sqr_binary64
52×cube-mult_binary64
52×unpow3_binary64
50×cube-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01841777
13391777
24711777
36001777
47341777
58691777
610101777
711541777
813051777
914591777
1016201777
1117841777
1219551777
1321291777
1423101777
1524941777
1626851777
1726931777
1826971777
1926971777
2028891777
2130861777
2232901777
2335011777
2437151777
2539361777
2641601777
2743911777
2846251777
2948661777
3048741777
3148781777
3248781777
Stop Event
1×node limit
Counts
108 → 126

prune117.0ms (2.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1260126
Fresh033
Picked011
Done022
Total1266132
Error
0.0b
Counts
132 → 6
Alt Table
StatusErrorProgram
✓2.5b
(+.f64 x (pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3))
5.5b
(+.f64 x (/.f64 (-.f64 (*.f64 y z) (*.f64 z x)) t))
✓1.7b
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
26.1b
(+.f64 x (pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 2))
✓2.3b
(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t))) 3))
▶5.5b
(+.f64 x (-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t)))
Compiler

Compiled 3817 to 2230 computations (41.6% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t))
✓5.0b
(/.f64 (*.f64 y z) t)
✓6.0b
(/.f64 (*.f64 z x) t)

series52.0ms (1.1%)

Counts
3 → 30
Calls

30 calls:

8.0ms
(/.f64 (*.f64 y z) t)
y
-inf
4.0ms
(-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t))
z
inf
2.0ms
(-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t))
z
-inf
2.0ms
(-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t))
z
0
2.0ms
(/.f64 (*.f64 y z) t)
z
0

rewrite41.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
813×log1p-expm1-u_binary64
813×expm1-log1p-u_binary64
105×add-sqr-sqrt_binary64
97×add-cbrt-cube_binary64
96×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01030
118930
2208430
Stop Event
1×node limit
Counts
3 → 50

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×fma-neg_binary64
2×fma-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023387
127387
229387
Stop Event
1×saturated
Counts
80 → 56

prune33.0ms (0.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New55156
Fresh202
Picked011
Done123
Total58462
Error
0.0b
Counts
62 → 4
Alt Table
StatusErrorProgram
6.6b
(+.f64 x (*.f64 (-.f64 (/.f64 y t) (/.f64 x t)) z))
✓5.5b
(+.f64 x (-.f64 (/.f64 (*.f64 y z) t) (/.f64 (*.f64 z x) t)))
✓1.7b
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
✓2.5b
(+.f64 x (pow.f64 (*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (/.f64 z t))) 3))
Compiler

Compiled 1128 to 312 computations (72.3% saved)

regimes96.0ms (2.1%)

Accuracy

Total 2.4b remaining (98.9%)

Threshold costs 0b (0%)

Counts
12 → 3
Compiler

Compiled 1130 to 748 computations (33.8% saved)

bsearch26.0ms (0.6%)

Algorithm
2×binary-search
Calls

2 calls:

20.0ms
x
5.0ms
x
Steps
ItersPointRange
1.5069737614011972e-298
∈ [
-2.801701709166852e-300
, 
2.978662131379821e-297
]
-1.5349570345577026e-128
∈ [
-8.854062188473464e-128
, 
-7.060649028602133e-131
]
Compiler

Compiled 5 to 4 computations (20% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02154
Stop Event
1×saturated

end74.0ms (1.6%)

Stop Event
1×fuel
Compiler

Compiled 144 to 77 computations (46.5% saved)

Profiling

Loading profile data...