Details

Time bar (total: 8.6s)

analyze1.9s (21.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
1.1%98.6%0.3%12
1.9%97.8%0.3%13
7%92.7%0.3%14
Compiler

Compiled 28 to 17 computations (39.3% saved)

sample1.3s (14.5%)

Results
1.2s8255×body128valid
0.0ms1×body256valid
Compiler

Compiled 56 to 34 computations (39.3% saved)

preprocess58.0ms (0.7%)

Algorithm
2×egg-herbie
Rules
686×fma-neg_binary64
540×+-commutative_binary64
368×associate-+l+_binary64
338×fma-def_binary64
282×associate--l+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0120464
1375464
2880464
32578464
44971464
066
Stop Event
1×saturated
1×node limit
Compiler

Compiled 27 to 16 computations (40.7% saved)

simplify22.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
727×fma-neg_binary64
497×fma-def_binary64
495×cancel-sign-sub-inv_binary64
376×sub-neg_binary64
334×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01729
13729
28929
325327
462327
5145127
6291927
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 150 to 84 computations (44% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (+.f64 t y) a)
✓0.9b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
✓1.9b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
✓25.1b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

series172.0ms (2%)

Counts
4 → 240
Calls

60 calls:

10.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
t
0
9.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
y
inf
9.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
t
-inf
8.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
t
inf
8.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
b
0

rewrite42.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
217×add-sqr-sqrt_binary64
209×log1p-expm1-u_binary64
209×expm1-log1p-u_binary64
208×add-cbrt-cube_binary64
201×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01770
140870
Stop Event
1×node limit
Counts
4 → 113

simplify108.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
574×associate-/l*_binary64
368×associate-/r*_binary64
281×+-commutative_binary64
238×associate-+r+_binary64
230×associate--l+_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
05989730
120589604
Stop Event
1×node limit
Counts
353 → 236

prune243.0ms (2.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2297236
Fresh101
Picked011
Done000
Total2308238
Error
0.1b
Counts
238 → 8
Alt Table
StatusErrorProgram
37.7b
(/.f64 a (/.f64 (+.f64 y (+.f64 t x)) (+.f64 y t)))
25.9b
(-.f64 (+.f64 a z) b)
45.9b
(+.f64 (/.f64 a (/.f64 (+.f64 t x) y)) (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) b) (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 a t)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 z x))) (+.f64 (+.f64 (*.f64 (/.f64 a (pow.f64 (+.f64 t x) 3)) (pow.f64 y 3)) (/.f64 a (/.f64 (+.f64 t x) t))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) z) (/.f64 (*.f64 z x) (+.f64 t x))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) z)))) (+.f64 (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 4) (*.f64 t (pow.f64 y 3)))) (+.f64 (+.f64 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 4)) (*.f64 z x)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) z)) (+.f64 (+.f64 (*.f64 (/.f64 y (pow.f64 (+.f64 t x) 2)) (*.f64 a t)) (/.f64 (*.f64 z (*.f64 y x)) (pow.f64 (+.f64 t x) 2))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) b) (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 2) (*.f64 y y)))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) b))))))))
41.0b
(+.f64 (*.f64 (/.f64 a t) y) (+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 y (/.f64 t z))) (+.f64 (*.f64 (/.f64 a t) x) (+.f64 (*.f64 (/.f64 a t) y) (/.f64 y (/.f64 t b)))))))
45.8b
(+.f64 (*.f64 (/.f64 a x) y) (-.f64 (+.f64 z (*.f64 (/.f64 a x) t)) (+.f64 (/.f64 y (/.f64 x b)) (*.f64 (/.f64 t x) z))))
41.5b
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) (+.f64 y x))
✓26.8b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
▶22.5b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (/.f64 (*.f64 a t) (+.f64 y (+.f64 t x)))) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
Compiler

Compiled 11445 to 3584 computations (68.7% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓7.5b
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x)
✓7.7b
(/.f64 (*.f64 y a) (+.f64 y (+.f64 t x)))
✓8.8b
(/.f64 (*.f64 y z) (+.f64 y (+.f64 t x)))
✓9.9b
(/.f64 (*.f64 a t) (+.f64 y (+.f64 t x)))

series167.0ms (1.9%)

Counts
4 → 168
Calls

48 calls:

7.0ms
(/.f64 (*.f64 y z) (+.f64 y (+.f64 t x)))
t
-inf
7.0ms
(/.f64 (*.f64 a t) (+.f64 y (+.f64 t x)))
y
-inf
7.0ms
(/.f64 (*.f64 y a) (+.f64 y (+.f64 t x)))
t
inf
6.0ms
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x)
t
inf
5.0ms
(/.f64 (*.f64 y z) (+.f64 y (+.f64 t x)))
x
inf

rewrite41.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
187×add-sqr-sqrt_binary64
176×log1p-expm1-u_binary64
176×expm1-log1p-u_binary64
175×add-cbrt-cube_binary64
172×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01652
136352
Stop Event
1×node limit
Counts
4 → 137

simplify101.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
644×associate-/l*_binary64
415×associate-/r*_binary64
293×associate-*r*_binary64
217×sub-neg_binary64
200×+-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
05778684
120628636
Stop Event
1×node limit
Counts
305 → 337

prune372.0ms (4.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New3352337
Fresh156
Picked101
Done011
Total3378345
Error
0.1b
Counts
345 → 8
Alt Table
StatusErrorProgram
▶20.5b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (*.f64 (/.f64 a (+.f64 t x)) t)) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
25.9b
(-.f64 (+.f64 a z) b)
42.4b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (*.f64 (/.f64 a (sqrt.f64 (+.f64 y (+.f64 t x)))) (/.f64 t (sqrt.f64 (+.f64 y (+.f64 t x)))))) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
45.9b
(+.f64 (/.f64 a (/.f64 (+.f64 t x) y)) (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) b) (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 a t)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 z x))) (+.f64 (+.f64 (*.f64 (/.f64 a (pow.f64 (+.f64 t x) 3)) (pow.f64 y 3)) (/.f64 a (/.f64 (+.f64 t x) t))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) z) (/.f64 (*.f64 z x) (+.f64 t x))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) z)))) (+.f64 (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 4) (*.f64 t (pow.f64 y 3)))) (+.f64 (+.f64 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 4)) (*.f64 z x)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) z)) (+.f64 (+.f64 (*.f64 (/.f64 y (pow.f64 (+.f64 t x) 2)) (*.f64 a t)) (/.f64 (*.f64 z (*.f64 y x)) (pow.f64 (+.f64 t x) 2))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) b) (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 2) (*.f64 y y)))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) b))))))))
41.0b
(+.f64 (*.f64 (/.f64 a t) y) (+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 y (/.f64 t z))) (+.f64 (*.f64 (/.f64 a t) x) (+.f64 (*.f64 (/.f64 a t) y) (/.f64 y (/.f64 t b)))))))
45.8b
(+.f64 (*.f64 (/.f64 a x) y) (-.f64 (+.f64 z (*.f64 (/.f64 a x) t)) (+.f64 (/.f64 y (/.f64 x b)) (*.f64 (/.f64 t x) z))))
41.5b
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) (+.f64 y x))
✓26.8b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Compiler

Compiled 24116 to 5239 computations (78.3% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
7.5b
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x)
7.7b
(/.f64 (*.f64 y a) (+.f64 y (+.f64 t x)))
8.8b
(/.f64 (*.f64 y z) (+.f64 y (+.f64 t x)))
✓12.0b
(*.f64 (/.f64 a (+.f64 t x)) t)

series18.0ms (0.2%)

Counts
1 → 36
Calls

9 calls:

4.0ms
(*.f64 (/.f64 a (+.f64 t x)) t)
x
0
2.0ms
(*.f64 (/.f64 a (+.f64 t x)) t)
a
-inf
2.0ms
(*.f64 (/.f64 a (+.f64 t x)) t)
a
inf
2.0ms
(*.f64 (/.f64 a (+.f64 t x)) t)
a
0
2.0ms
(*.f64 (/.f64 a (+.f64 t x)) t)
x
-inf

rewrite47.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
877×log1p-expm1-u_binary64
877×expm1-log1p-u_binary64
473×prod-diff_binary64
82×add-sqr-sqrt_binary64
77×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
115610
2229910
Stop Event
1×node limit
Counts
1 → 25

simplify32.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
667×cancel-sign-sub-inv_binary64
551×fma-def_binary64
392×fma-neg_binary64
332×associate-/l/_binary64
201×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
039702
1110702
2351585
31734552
Stop Event
1×node limit
Counts
61 → 41

prune314.0ms (3.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2880288
Fresh066
Picked011
Done011
Total2888296
Error
0.1b
Counts
296 → 8
Alt Table
StatusErrorProgram
✓20.5b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (*.f64 (/.f64 a (+.f64 t x)) t)) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
▶25.9b
(-.f64 (+.f64 a z) b)
42.4b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (*.f64 (/.f64 a (sqrt.f64 (+.f64 y (+.f64 t x)))) (/.f64 t (sqrt.f64 (+.f64 y (+.f64 t x)))))) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
45.9b
(+.f64 (/.f64 a (/.f64 (+.f64 t x) y)) (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) b) (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 a t)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 z x))) (+.f64 (+.f64 (*.f64 (/.f64 a (pow.f64 (+.f64 t x) 3)) (pow.f64 y 3)) (/.f64 a (/.f64 (+.f64 t x) t))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) z) (/.f64 (*.f64 z x) (+.f64 t x))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) z)))) (+.f64 (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 4) (*.f64 t (pow.f64 y 3)))) (+.f64 (+.f64 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 4)) (*.f64 z x)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) z)) (+.f64 (+.f64 (*.f64 (/.f64 y (pow.f64 (+.f64 t x) 2)) (*.f64 a t)) (/.f64 (*.f64 z (*.f64 y x)) (pow.f64 (+.f64 t x) 2))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) b) (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 2) (*.f64 y y)))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) b))))))))
41.0b
(+.f64 (*.f64 (/.f64 a t) y) (+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 y (/.f64 t z))) (+.f64 (*.f64 (/.f64 a t) x) (+.f64 (*.f64 (/.f64 a t) y) (/.f64 y (/.f64 t b)))))))
45.8b
(+.f64 (*.f64 (/.f64 a x) y) (-.f64 (+.f64 z (*.f64 (/.f64 a x) t)) (+.f64 (/.f64 y (/.f64 x b)) (*.f64 (/.f64 t x) z))))
41.5b
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) (+.f64 y x))
✓26.8b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Compiler

Compiled 19459 to 4141 computations (78.7% saved)

localize3.0ms (0%)

prune8.0ms (0.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New000
Fresh055
Picked011
Done022
Total088
Error
0.1b
Counts
8 → 8
Alt Table
StatusErrorProgram
✓20.5b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (*.f64 (/.f64 a (+.f64 t x)) t)) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
✓25.9b
(-.f64 (+.f64 a z) b)
42.4b
(+.f64 (/.f64 (*.f64 y z) (+.f64 y (+.f64 t x))) (+.f64 (/.f64 (*.f64 y a) (+.f64 y (+.f64 t x))) (-.f64 (+.f64 (*.f64 (/.f64 z (+.f64 y (+.f64 t x))) x) (*.f64 (/.f64 a (sqrt.f64 (+.f64 y (+.f64 t x)))) (/.f64 t (sqrt.f64 (+.f64 y (+.f64 t x)))))) (*.f64 (/.f64 y (+.f64 y (+.f64 t x))) b))))
45.9b
(+.f64 (/.f64 a (/.f64 (+.f64 t x) y)) (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) b) (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 a t)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 3)) (*.f64 z x))) (+.f64 (+.f64 (*.f64 (/.f64 a (pow.f64 (+.f64 t x) 3)) (pow.f64 y 3)) (/.f64 a (/.f64 (+.f64 t x) t))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) z) (/.f64 (*.f64 z x) (+.f64 t x))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) z)))) (+.f64 (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 4) (*.f64 t (pow.f64 y 3)))) (+.f64 (+.f64 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 4)) (*.f64 z x)) (*.f64 (/.f64 (*.f64 y y) (pow.f64 (+.f64 t x) 2)) z)) (+.f64 (+.f64 (*.f64 (/.f64 y (pow.f64 (+.f64 t x) 2)) (*.f64 a t)) (/.f64 (*.f64 z (*.f64 y x)) (pow.f64 (+.f64 t x) 2))) (+.f64 (+.f64 (*.f64 (/.f64 y (+.f64 t x)) b) (/.f64 a (/.f64 (pow.f64 (+.f64 t x) 2) (*.f64 y y)))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 (+.f64 t x) 3)) b))))))))
41.0b
(+.f64 (*.f64 (/.f64 a t) y) (+.f64 a (-.f64 (+.f64 (/.f64 z (/.f64 t x)) (/.f64 y (/.f64 t z))) (+.f64 (*.f64 (/.f64 a t) x) (+.f64 (*.f64 (/.f64 a t) y) (/.f64 y (/.f64 t b)))))))
45.8b
(+.f64 (*.f64 (/.f64 a x) y) (-.f64 (+.f64 z (*.f64 (/.f64 a x) t)) (+.f64 (/.f64 y (/.f64 x b)) (*.f64 (/.f64 t x) z))))
41.5b
(*.f64 (/.f64 z (+.f64 y (+.f64 t x))) (+.f64 y x))
✓26.8b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Compiler

Compiled 442 to 213 computations (51.8% saved)

regimes3.5s (40.5%)

Accuracy

Total 7.9b remaining (97.3%)

Threshold costs 0b (0%)

Counts
128 → 3
Compiler

Compiled 34935 to 16918 computations (51.6% saved)

bsearch8.0ms (0.1%)

Algorithm
2×left-value
Calls

2 calls:

0.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
0.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Steps
ItersPointRange
4.0686503761068925e+289
∈ [
4.0686503761068925e+289
, 
#hash((type . real) (value . +inf))
]
#hash((type . real) (value . -inf))
∈ [
#hash((type . real) (value . -inf))
, 
-2.341964107297422e+294
]
Compiler

Compiled 27 to 16 computations (40.7% saved)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
21×+-commutative_binary64
14×*-commutative_binary64
10×sub-neg_binary64
6×neg-sub0_binary64
6×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
049184
183184
2111184
3123184
4129184
Stop Event
1×saturated

end171.0ms (2%)

Stop Event
1×fuel
Compiler

Compiled 702 to 299 computations (57.4% saved)

Profiling

Loading profile data...