Details

Time bar (total: 16.0s)

analyze1.6s (10.1%)

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
12.5%87.2%0.3%5
12.5%87.2%0.3%6
12.5%87.2%0.3%7
18.7%81%0.3%8
28%71.7%0.3%9
28%71.7%0.3%10
42.1%57.6%0.3%11
42.1%57.6%0.3%12
42.1%57.6%0.3%13
49.1%50.6%0.3%14
Compiler

Compiled 28 to 17 computations (39.3% saved)

sample1.8s (11.4%)

Results
1.7s8256×body128valid
Compiler

Compiled 83 to 50 computations (39.8% saved)

simplify114.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
765×sub-neg_binary64
731×fma-neg_binary64
652×neg-mul-1_binary64
505×fma-def_binary64
495×cancel-sign-sub-inv_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01729
13729
28529
319427
448627
5100327
6192027
7340627
8407827
9443127
10491927
11508527

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
24.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶24.4b
(/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (+.f64 x (+.f64 y t)))
24.5b
(/.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 83 computations (44.7% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.8b
(fma.f64 (+.f64 x y) z (*.f64 t a))
✓2.3b
(fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))
✓24.2b
(/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (+.f64 x (+.f64 y t)))

series369.0ms (2.3%)

Counts
3 → 204
Calls

3 calls:

282.0ms
(/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (+.f64 x (+.f64 y t)))
55.0ms
(fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))
31.0ms
(fma.f64 (+.f64 x y) z (*.f64 t a))

rewrite22.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
33×*-un-lft-identity_binary64
15×times-frac_binary64
13×add-sqr-sqrt_binary64
13×add-cube-cbrt_binary64
12×distribute-lft-out_binary64
Counts
3 → 59
Calls

3 calls:

11.0ms
(/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (+.f64 x (+.f64 y t)))
1.0ms
(fma.f64 (+.f64 x y) z (*.f64 t a))
1.0ms
(fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))

simplify175.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
591×associate-/l*_binary64
378×associate-/r*_binary64
286×+-commutative_binary64
241×associate-+r+_binary64
237×associate--l+_binary64
Counts
263 → 200
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
067311356
1196111106
2507811106

prune196.0ms (1.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1919200
Fresh101
Picked101
Done000
Total1939202
Error
3.1b
Counts
202 → 9
Alt Table
StatusErrorProgram
41.5b
(*.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (-.f64 (*.f64 x x) (pow.f64 (+.f64 t y) 2))) (-.f64 x (+.f64 y t)))
43.4b
(*.f64 (/.f64 z (+.f64 (+.f64 t x) y)) (+.f64 x y))
27.4b
(-.f64 (+.f64 a z) b)
24.5b
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))
42.0b
a
41.9b
(/.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (sqrt.f64 (+.f64 x (+.f64 y t)))) (sqrt.f64 (+.f64 x (+.f64 y t))))
▶24.5b
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))
34.9b
(/.f64 (fma.f64 a t (*.f64 z x)) (+.f64 t x))
41.7b
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (+.f64 (+.f64 t x) y)) 3))
Compiler

Compiled 10457 to 3093 computations (70.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))
0.8b
(fma.f64 (+.f64 x y) z (*.f64 t a))
2.3b
(fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))
✓24.3b
(/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))))

series2.4s (14.7%)

Counts
2 → 144
Calls

2 calls:

2.1s
(/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))))
266.0ms
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))

rewrite56.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
148×*-un-lft-identity_binary64
132×times-frac_binary64
68×add-sqr-sqrt_binary64
68×add-cube-cbrt_binary64
48×distribute-lft-out_binary64
Counts
2 → 141
Calls

2 calls:

16.0ms
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))
11.0ms
(/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))))

simplify735.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
600×associate-/l*_binary64
436×times-frac_binary64
336×fma-def_binary64
77×sub-neg_binary64
46×sqr-pow_binary64
Counts
285 → 297
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0278446779
1561746779

prune1.4s (8.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New3720372
Fresh088
Picked011
Done000
Total3729381
Error
3.1b
Counts
381 → 9
Alt Table
StatusErrorProgram
41.5b
(*.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (-.f64 (*.f64 x x) (pow.f64 (+.f64 t y) 2))) (-.f64 x (+.f64 y t)))
43.4b
(*.f64 (/.f64 z (+.f64 (+.f64 t x) y)) (+.f64 x y))
27.4b
(-.f64 (+.f64 a z) b)
▶24.5b
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))
42.0b
a
41.9b
(/.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (sqrt.f64 (+.f64 x (+.f64 y t)))) (sqrt.f64 (+.f64 x (+.f64 y t))))
✓24.5b
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))
34.9b
(/.f64 (fma.f64 a t (*.f64 z x)) (+.f64 t x))
41.7b
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (+.f64 (+.f64 t x) y)) 3))
Compiler

Compiled 54532 to 20743 computations (62% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 1 (+.f64 x (+.f64 y t)))
0.8b
(fma.f64 (+.f64 x y) z (*.f64 t a))
2.3b
(fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))
✓24.3b
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))

series319.0ms (2%)

Counts
2 → 108
Calls

2 calls:

270.0ms
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))
48.0ms
(/.f64 1 (+.f64 x (+.f64 y t)))

rewrite42.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
58×*-un-lft-identity_binary64
32×times-frac_binary64
29×add-sqr-sqrt_binary64
22×add-cube-cbrt_binary64
21×distribute-lft-out_binary64
Counts
2 → 89
Calls

2 calls:

10.0ms
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))
7.0ms
(/.f64 1 (+.f64 x (+.f64 y t)))

simplify210.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
671×associate-/l*_binary64
456×associate-/r*_binary64
306×+-commutative_binary64
245×associate-+r+_binary64
176×fma-def_binary64
Counts
197 → 229
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
074511101
1228910838
2501610838

prune377.0ms (2.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New3040304
Fresh077
Picked011
Done011
Total3049313
Error
3.1b
Counts
313 → 9
Alt Table
StatusErrorProgram
41.5b
(*.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (-.f64 (*.f64 x x) (pow.f64 (+.f64 t y) 2))) (-.f64 x (+.f64 y t)))
43.4b
(*.f64 (/.f64 z (+.f64 (+.f64 t x) y)) (+.f64 x y))
▶27.4b
(-.f64 (+.f64 a z) b)
✓24.5b
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))
42.0b
a
41.9b
(/.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (sqrt.f64 (+.f64 x (+.f64 y t)))) (sqrt.f64 (+.f64 x (+.f64 y t))))
✓24.5b
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))
34.9b
(/.f64 (fma.f64 a t (*.f64 z x)) (+.f64 t x))
41.7b
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (+.f64 (+.f64 t x) y)) 3))
Compiler

Compiled 14116 to 4474 computations (68.3% saved)

localize6.0ms (0%)

prune10.0ms (0.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New000
Fresh066
Picked011
Done022
Total099
Error
3.1b
Counts
9 → 9
Alt Table
StatusErrorProgram
41.5b
(*.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (-.f64 (*.f64 x x) (pow.f64 (+.f64 t y) 2))) (-.f64 x (+.f64 y t)))
43.4b
(*.f64 (/.f64 z (+.f64 (+.f64 t x) y)) (+.f64 x y))
✓27.4b
(-.f64 (+.f64 a z) b)
✓24.5b
(*.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (/.f64 1 (+.f64 x (+.f64 y t))))
42.0b
a
41.9b
(/.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a))) (sqrt.f64 (+.f64 x (+.f64 y t)))) (sqrt.f64 (+.f64 x (+.f64 y t))))
✓24.5b
(/.f64 1 (/.f64 (+.f64 x (+.f64 y t)) (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (*.f64 t a)))))
34.9b
(/.f64 (fma.f64 a t (*.f64 z x)) (+.f64 t x))
41.7b
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 y (-.f64 a b) (fma.f64 z (+.f64 x y) (*.f64 a t))) (+.f64 (+.f64 t x) y)) 3))
Compiler

Compiled 201 to 120 computations (40.3% saved)

regimes5.9s (37.1%)

Accuracy

Total 4.8b remaining (61.7%)

Threshold costs 0b (0%)

Counts
176 → 3
Compiler

Compiled 32023 to 18360 computations (42.7% saved)

bsearch13.0ms (0.1%)

Compiler

Compiled 27 to 16 computations (40.7% saved)

simplify7.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
041154
167154
283154
391154
495154
595154

end172.0ms (1.1%)

Compiler

Compiled 419 to 196 computations (53.2% saved)

Profiling

Loading profile data...