Details

Time bar (total: 4.0s)

analyze683.0ms (17.1%)

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
49.1%50.7%0.2%9
49.5%50.3%0.2%10
49.7%50.1%0.2%11
50.2%49.6%0.2%12
60.5%39.3%0.2%13
60.6%37.9%1.4%14
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.2s (31.1%)

Results
911.0ms8256×body128valid
314.0ms2876×body128invalid
Compiler

Compiled 28 to 20 computations (28.6% saved)

preprocess50.0ms (1.2%)

Algorithm
2×egg-herbie
Rules
739×fma-neg_binary64
711×div-sub_binary64
668×sub-neg_binary64
220×fma-def_binary64
155×associate--r+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03091
19691
221491
336291
477991
5178791
6396391
044
144
Stop Event
1×unsound
1×node limit
Symmetry

(sort x y)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify30.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
709×fma-neg_binary64
579×fma-def_binary64
349×div-sub_binary64
329×cancel-sign-sub-inv_binary64
297×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12113
24513
37413
415513
529913
661013
7130513
8265813
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
0.3b
(*.f64 (-.f64 z (+.f64 x y)) (/.f64 -1/2 t))
Compiler

Compiled 74 to 49 computations (33.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

series20.0ms (0.5%)

Counts
1 → 48
Calls

12 calls:

3.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
z
-inf
2.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
x
inf
2.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
y
-inf
2.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
x
-inf
2.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
y
inf

rewrite51.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
439×fma-def_binary64
245×fma-neg_binary64
221×expm1-udef_binary64
221×log1p-udef_binary64
121×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
123213
2358313
Stop Event
1×node limit
Counts
1 → 60

simplify48.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
799×fma-neg_binary64
431×fma-def_binary64
296×div-sub_binary64
210×cancel-sign-sub-inv_binary64
183×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
040930
1109735
2271696
3555579
41403579
53111579
Stop Event
1×node limit
Counts
108 → 77

prune59.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New73477
Fresh011
Picked011
Done000
Total73679
Error
0b
Counts
79 → 6
Alt Table
StatusErrorProgram
1.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t) (/.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2))
▶0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
33.0b
(*.f64 (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) t) (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) 2))
25.1b
(*.f64 (cbrt.f64 (*.f64 (+.f64 x (-.f64 y z)) (/.f64 1/2 t))) (cbrt.f64 (pow.f64 (*.f64 (+.f64 x (-.f64 y z)) (/.f64 1/2 t)) 2)))
0.3b
(*.f64 (-.f64 z (+.f64 x y)) (/.f64 -1/2 t))
Compiler

Compiled 1385 to 677 computations (51.1% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 1/2 (/.f64 x t))
✓0.0b
(+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t)))
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))

series53.0ms (1.3%)

Counts
3 → 66
Calls

27 calls:

5.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
y
0
4.0ms
(*.f64 1/2 (/.f64 x t))
t
-inf
3.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
x
0
2.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
x
-inf
2.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
y
inf

rewrite37.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
168×add-sqr-sqrt_binary64
160×log1p-expm1-u_binary64
160×expm1-log1p-u_binary64
159×add-cbrt-cube_binary64
156×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01442
132839
Stop Event
1×node limit
Counts
3 → 120

simplify44.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
816×fma-neg_binary64
386×fma-def_binary64
250×div-sub_binary64
241×distribute-rgt-in_binary64
207×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0301056
185966
2223786
3491714
41284714
52945714
Stop Event
1×node limit
Counts
186 → 137

prune125.0ms (3.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1370137
Fresh044
Picked011
Done011
Total1376143
Error
0b
Counts
143 → 6
Alt Table
StatusErrorProgram
1.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t) (/.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2))
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
33.0b
(*.f64 (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) t) (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) 2))
25.1b
(*.f64 (cbrt.f64 (*.f64 (+.f64 x (-.f64 y z)) (/.f64 1/2 t))) (cbrt.f64 (pow.f64 (*.f64 (+.f64 x (-.f64 y z)) (/.f64 1/2 t)) 2)))
▶0.3b
(*.f64 (-.f64 z (+.f64 x y)) (/.f64 -1/2 t))
Compiler

Compiled 3348 to 1663 computations (50.3% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (-.f64 z (+.f64 x y)) (/.f64 -1/2 t))

series23.0ms (0.6%)

Counts
1 → 48
Calls

12 calls:

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

rewrite49.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
410×fma-def_binary64
216×expm1-udef_binary64
216×log1p-udef_binary64
202×fma-neg_binary64
182×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
123013
2332813
Stop Event
1×node limit
Counts
1 → 44

simplify41.0ms (1%)

Algorithm
1×egg-herbie
Rules
640×fma-def_binary64
376×div-sub_binary64
321×fma-neg_binary64
205×cancel-sign-sub-inv_binary64
190×sub-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
040930
1111813
2298813
3704579
41739579
53797579
Stop Event
1×node limit
Counts
92 → 62

prune47.0ms (1.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New61162
Fresh123
Picked011
Done022
Total62668
Error
0b
Counts
68 → 6
Alt Table
StatusErrorProgram
▶1.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t) (/.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2))
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
34.3b
(/.f64 (-.f64 (*.f64 z z) (pow.f64 (+.f64 x y) 2)) (*.f64 (*.f64 t -2) (+.f64 z (+.f64 x y))))
33.0b
(*.f64 (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) t) (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) 2))
✓0.3b
(*.f64 (-.f64 z (+.f64 x y)) (/.f64 -1/2 t))
Compiler

Compiled 1041 to 493 computations (52.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t)
✓0.4b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t) (/.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2))
✓0.5b
(pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2)
✓0.5b
(cbrt.f64 (+.f64 x (-.f64 y z)))

series213.0ms (5.3%)

Counts
4 → 96
Calls

42 calls:

31.0ms
(/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t)
t
-inf
29.0ms
(/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t)
t
inf
25.0ms
(/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t)
t
0
19.0ms
(/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t)
x
0
18.0ms
(/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t)
z
0

rewrite72.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
268×expm1-udef_binary64
268×log1p-udef_binary64
151×add-sqr-sqrt_binary64
146×log1p-expm1-u_binary64
146×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01349
130149
2431749
Stop Event
1×node limit
Counts
4 → 131

simplify68.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
416×fma-def_binary64
411×associate-*r*_binary64
334×associate-*l*_binary64
303×*-commutative_binary64
189×associate-*r/_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03904855
113044493
Stop Event
1×node limit
Counts
227 → 223

prune211.0ms (5.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New2720272
Fresh022
Picked011
Done033
Total2726278
Error
0b
Counts
278 → 6
Alt Table
StatusErrorProgram
✓1.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2) t) (/.f64 (cbrt.f64 (+.f64 x (-.f64 y z))) 2))
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
34.3b
(/.f64 (-.f64 (*.f64 z z) (pow.f64 (+.f64 x y) 2)) (*.f64 (*.f64 t -2) (+.f64 z (+.f64 x y))))
33.0b
(*.f64 (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) t) (/.f64 (sqrt.f64 (+.f64 x (-.f64 y z))) 2))
✓0.3b
(*.f64 (-.f64 z (+.f64 x y)) (/.f64 -1/2 t))
Compiler

Compiled 9999 to 5141 computations (48.6% saved)

regimes701.0ms (17.5%)

Accuracy

Total 0.0b remaining (95.1%)

Threshold costs 0.0b (95.1%)

Counts
89 → 1
Compiler

Compiled 12265 to 8645 computations (29.5% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01117
11417
21917
32117
42217
Stop Event
1×saturated

end88.0ms (2.2%)

Stop Event
1×fuel
Remove

(sort x y)

Compiler

Compiled 178 to 115 computations (35.4% saved)

Profiling

Loading profile data...