Details

Time bar (total: 3.7s)

analyze560.0ms (15.2%)

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
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample918.0ms (25%)

Results
855.0ms8256×body128valid
46.0ms386×body128invalid
Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess39.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
630×div-sub_binary64
518×fma-neg_binary64
288×associate-/r/_binary64
287×fma-def_binary64
264×associate-/r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02570
15970
210470
318470
427470
548970
681170
7126970
8277170
044
144
Stop Event
1×unsound
1×node limit
Symmetry

(sort z t)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify11.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
100×fma-def_binary64
56×fma-neg_binary64
29×cancel-sign-sub-inv_binary64
18×sub-neg_binary64
13×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
22610
34310
46310
59710
615410
720710
827110
935610
1040610
1141210
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
3.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶3.3b
(/.f64 x (-.f64 y (*.f64 z t)))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series31.0ms (0.9%)

Counts
1 → 48
Calls

12 calls:

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

rewrite43.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
642×prod-diff_binary64
207×fma-def_binary64
170×expm1-udef_binary64
170×log1p-udef_binary64
150×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117710
2254310
Stop Event
1×node limit
Counts
1 → 35

simplify54.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
866×fma-neg_binary64
715×times-frac_binary64
451×associate-/l*_binary64
298×associate-/r*_binary64
229×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0561381
11751321
26861269
348361269
Stop Event
1×node limit
Counts
83 → 51

prune37.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New46551
Fresh000
Picked011
Done000
Total46652
Error
3.3b
Counts
52 → 6
Alt Table
StatusErrorProgram
4.1b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 1 (-.f64 y (*.f64 z t)))))
4.1b
(*.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) (pow.f64 (cbrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) 2))
▶3.4b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))
✓3.3b
(/.f64 x (-.f64 y (*.f64 z t)))
30.1b
(*.f64 (/.f64 x (-.f64 (*.f64 y y) (pow.f64 (*.f64 z t) 2))) (fma.f64 z t y))
4.1b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 y (*.f64 z t))) 2)) (/.f64 x (cbrt.f64 (-.f64 y (*.f64 z t)))))
Compiler

Compiled 1030 to 433 computations (58% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series46.0ms (1.2%)

Counts
2 → 84
Calls

21 calls:

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

rewrite46.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
633×prod-diff_binary64
212×fma-def_binary64
188×expm1-udef_binary64
188×log1p-udef_binary64
108×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
121320
2283620
Stop Event
1×node limit
Counts
2 → 51

simplify53.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
922×times-frac_binary64
598×associate-/l*_binary64
400×associate-/r*_binary64
327×fma-def_binary64
145×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0802470
12452380
29522258
Stop Event
1×node limit
Counts
135 → 82

prune58.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New79382
Fresh314
Picked011
Done011
Total82688
Error
3.1b
Counts
88 → 6
Alt Table
StatusErrorProgram
30.1b
(*.f64 (/.f64 x (-.f64 (*.f64 y y) (pow.f64 (*.f64 z t) 2))) (fma.f64 z t y))
▶3.9b
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
✓3.4b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))
✓3.3b
(/.f64 x (-.f64 y (*.f64 z t)))
35.1b
(/.f64 (/.f64 x (sqrt.f64 (-.f64 y (*.f64 z t)))) (sqrt.f64 (-.f64 y (*.f64 z t))))
32.5b
(*.f64 x (/.f64 (/.f64 -1 z) t))
Compiler

Compiled 1475 to 693 computations (53% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.6b
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
✓3.3b
(/.f64 (-.f64 y (*.f64 z t)) x)

series49.0ms (1.3%)

Counts
2 → 96
Calls

24 calls:

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

rewrite114.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
878×prod-diff_binary64
294×egg-rr
200×log1p-udef_binary64
114×add-sqr-sqrt_binary64
107×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01023
122120
2318920
Stop Event
1×node limit
Counts
2 → 294

simplify69.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
887×fma-neg_binary64
715×times-frac_binary64
462×associate-/l*_binary64
295×associate-/r*_binary64
236×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0641832
11981772
27351720
349911720
Stop Event
1×node limit
Counts
390 → 316

prune191.0ms (5.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New3142316
Fresh123
Picked011
Done022
Total3157322
Error
0.0b
Counts
322 → 7
Alt Table
StatusErrorProgram
✓3.4b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))
✓3.3b
(/.f64 x (-.f64 y (*.f64 z t)))
35.1b
(/.f64 (/.f64 x (sqrt.f64 (-.f64 y (*.f64 z t)))) (sqrt.f64 (-.f64 y (*.f64 z t))))
✓3.9b
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
▶18.1b
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1)))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
32.5b
(*.f64 x (/.f64 (/.f64 -1 z) t))
32.1b
(/.f64 1 (*.f64 (neg.f64 (/.f64 t x)) z))
Compiler

Compiled 12372 to 4002 computations (67.7% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.6b
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1)))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
✓0.6b
(fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1))))
✓4.3b
(*.f64 (/.f64 z x) (/.f64 t 1))
✓54.0b
(fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))

series104.0ms (2.8%)

Counts
4 → 168
Calls

42 calls:

7.0ms
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1)))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
x
inf
6.0ms
(fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))
z
-inf
5.0ms
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1)))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
x
-inf
5.0ms
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1)))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
x
0
4.0ms
(fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))
t
-inf

rewrite70.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
256×log1p-udef_binary64
164×add-sqr-sqrt_binary64
152×add-cbrt-cube_binary64
152×log1p-expm1-u_binary64
152×expm1-log1p-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01676
135758
2469158
Stop Event
1×node limit
Counts
4 → 133

simplify65.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
887×fma-neg_binary64
715×times-frac_binary64
464×associate-/l*_binary64
297×associate-/r*_binary64
234×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0672128
12032068
27422016
349892016
Stop Event
1×node limit
Counts
301 → 160

prune177.0ms (4.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New2181219
Fresh123
Picked011
Done033
Total2197226
Error
0.0b
Counts
226 → 7
Alt Table
StatusErrorProgram
18.1b
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (/.f64 1 (*.f64 (/.f64 x z) (pow.f64 t -1))))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
✓18.1b
(/.f64 1 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (*.f64 (/.f64 z x) (/.f64 t 1)))) (fma.f64 (neg.f64 (/.f64 z x)) (/.f64 t 1) (*.f64 (/.f64 z x) (/.f64 t 1)))))
✓3.4b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))
✓3.3b
(/.f64 x (-.f64 y (*.f64 z t)))
35.1b
(/.f64 (/.f64 x (sqrt.f64 (-.f64 y (*.f64 z t)))) (sqrt.f64 (-.f64 y (*.f64 z t))))
✓3.9b
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
32.5b
(*.f64 x (/.f64 (/.f64 -1 z) t))
Compiler

Compiled 6752 to 3125 computations (53.7% saved)

regimes666.0ms (18.1%)

Accuracy

Total 0.5b remaining (84%)

Threshold costs 0.5b (84%)

Counts
56 → 3
Compiler

Compiled 10084 to 6622 computations (34.3% saved)

bsearch2.0ms (0.1%)

Algorithm
2×left-value
Calls

2 calls:

0.0ms
(*.f64 z t)
0.0ms
(*.f64 z t)
Steps
ItersPointRange
2.8428336325098687e+246
∈ [
2.8428336325098687e+246
, 
8.911836186571678e+248
]
-9.471189559324319e+123
∈ [
-9.471189559324319e+123
, 
-1.102905468802805e+121
]
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
11×*-commutative_binary64
9×+-commutative_binary64
8×sub-neg_binary64
7×neg-sub0_binary64
7×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02959
15359
28059
39459
49959
Stop Event
1×saturated

end234.0ms (6.4%)

Stop Event
1×fuel
Compiler

Compiled 315 to 193 computations (38.7% saved)

Profiling

Loading profile data...