Details

Time bar (total: 5.3s)

analyze1.4s (26.5%)

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)

sample66.0ms (1.2%)

Algorithm
1×intervals
Results
22.0ms256×body128valid
8.0ms79×body128invalid
Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify177.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
1491×fma-neg_binary64
579×fma-def_binary64
465×distribute-rgt-in_binary64
419×div-sub_binary64
329×associate-/l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12113
24513
37013
413813
525713
649813
792213
8161513
9247213
10243513
11243113
12242713
13242813
14242813
15359613
16326013
17326013
18326013
19314013

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 39 to 27 computations (30.8% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series42.0ms (0.8%)

Counts
1 → 48
Calls

1 calls:

42.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

rewrite20.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
7×add-sqr-sqrt_binary64
6×associate-/l*_binary64
6×times-frac_binary64
6×add-cbrt-cube_binary64
Counts
1 → 32
Calls

1 calls:

16.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

simplify121.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
429×div-sub_binary64
352×distribute-rgt-in_binary64
333×distribute-lft-in_binary64
268×neg-mul-1_binary64
200×associate-/l*_binary64
Counts
80 → 61
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01081540
12741260
28891216
331711099
447111099
550411099

prune89.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New58361
Fresh000
Picked011
Done000
Total58462
Error
0b
Counts
62 → 4
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
17.3b
(*.f64 1/2 (/.f64 (-.f64 y z) t))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
29.9b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))))
Compiler

Compiled 1061 to 456 computations (57% saved)

localize22.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓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)))

series121.0ms (2.3%)

Counts
2 → 66
Calls

2 calls:

72.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
48.0ms
(+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t)))

rewrite28.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64
7×associate-*r/_binary64
4×fma-neg_binary64
4×distribute-lft-out_binary64
4×*-un-lft-identity_binary64
Counts
2 → 44
Calls

2 calls:

14.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
10.0ms
(+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t)))

simplify144.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
586×fma-def_binary64
377×associate-*r/_binary64
372×associate-*l/_binary64
335×distribute-rgt-in_binary64
314×distribute-lft-in_binary64
Counts
110 → 91
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01042114
13261910
212561841
347701837
449511837

prune203.0ms (3.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New90191
Fresh112
Picked011
Done011
Total91495
Error
0b
Counts
95 → 4
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
17.3b
(*.f64 1/2 (/.f64 (-.f64 y z) t))
▶0.2b
(-.f64 (*.f64 (/.f64 1/2 t) (+.f64 y x)) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
Compiler

Compiled 2384 to 1117 computations (53.1% saved)

localize17.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series89.0ms (1.7%)

Counts
2 → 84
Calls

2 calls:

65.0ms
(-.f64 (*.f64 (/.f64 1/2 t) (+.f64 y x)) (*.f64 1/2 (/.f64 z t)))
24.0ms
(*.f64 (/.f64 1/2 t) (+.f64 y x))

rewrite35.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
15×add-sqr-sqrt_binary64
13×associate-*l*_binary64
12×*-un-lft-identity_binary64
10×associate-*r/_binary64
10×times-frac_binary64
Counts
2 → 65
Calls

2 calls:

14.0ms
(-.f64 (*.f64 (/.f64 1/2 t) (+.f64 y x)) (*.f64 1/2 (/.f64 z t)))
13.0ms
(*.f64 (/.f64 1/2 t) (+.f64 y x))

simplify135.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
768×distribute-rgt-in_binary64
745×distribute-lft-in_binary64
665×fma-def_binary64
179×cancel-sign-sub-inv_binary64
149×associate-*l*_binary64
Counts
149 → 124
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01722114
15432041
218282005
357022005

prune151.0ms (2.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1240124
Fresh011
Picked011
Done022
Total1244128
Error
0b
Counts
128 → 4
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
▶17.3b
(*.f64 1/2 (/.f64 (-.f64 y z) t))
✓0.2b
(-.f64 (*.f64 (/.f64 1/2 t) (+.f64 y x)) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
Compiler

Compiled 2550 to 1231 computations (51.7% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 y z) t)

series22.0ms (0.4%)

Counts
1 → 28
Calls

1 calls:

22.0ms
(/.f64 (-.f64 y z) t)

rewrite15.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64
19×add-sqr-sqrt_binary64
15×times-frac_binary64
11×add-cube-cbrt_binary64
5×associate-/l*_binary64
Counts
1 → 40
Calls

1 calls:

10.0ms
(/.f64 (-.f64 y z) t)

simplify91.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
643×unsub-neg_binary64
507×times-frac_binary64
442×fma-neg_binary64
375×associate-/l*_binary64
315×distribute-rgt-in_binary64
Counts
68 → 47
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
081759
1180727
2391727
3928727
43644727
55109727

prune49.0ms (0.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New47047
Fresh000
Picked011
Done033
Total47451
Error
0b
Counts
51 → 4
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
✓17.3b
(*.f64 1/2 (/.f64 (-.f64 y z) t))
✓0.2b
(-.f64 (*.f64 (/.f64 1/2 t) (+.f64 y x)) (*.f64 1/2 (/.f64 z t)))
✓0.0b
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
Compiler

Compiled 711 to 291 computations (59.1% saved)

regimes644.0ms (12.1%)

Accuracy

Total 0.1b remaining (92.7%)

Threshold costs 0.1b (92.7%)

Counts
40 → 1
Compiler

Compiled 5441 to 3836 computations (29.5% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01320
11520
21520

end14.0ms (0.3%)

Remove

(sort x y)

Compiler

Compiled 54 to 36 computations (33.3% saved)

sample1.6s (29.7%)

Algorithm
1×intervals
Results
617.0ms8000×body128valid
188.0ms2667×body128invalid
Compiler

Compiled 98 to 70 computations (28.6% saved)

Profiling

Loading profile data...