Details

Time bar (total: 2.3s)

analyze31.0ms (1.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample594.0ms (26.1%)

Infinites
25.3% of outputs are infinite.
Results
549.0ms8256×body128valid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify8.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×associate-/r*_binary64
1×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
21310
31210

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.9b
(/.f64 x (*.f64 y y))

series26.0ms (1.1%)

Counts
1 → 24
Calls

1 calls:

26.0ms
(/.f64 x (*.f64 y y))

rewrite4.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
3×associate-/l*_binary64
3×*-un-lft-identity_binary64
3×times-frac_binary64
Counts
1 → 23
Calls

1 calls:

3.0ms
(/.f64 x (*.f64 y y))

simplify65.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
553×div-sub_binary64
385×associate-/l*_binary64
361×associate-/l/_binary64
320×*-commutative_binary64
266×fma-def_binary64
Counts
47 → 28
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046433
195388
2220388
3582388
41890388
52472388
64192388
75127388

prune21.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New25328
Fresh000
Picked011
Done000
Total25429
Error
0.0b
Counts
29 → 4
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
32.6b
(-.f64 (*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) y)) 3)
✓3.1b
(-.f64 (/.f64 x (*.f64 y y)) 3)
Compiler

Compiled 404 to 189 computations (53.2% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 y (/.f64 x y))
✓0.3b
(/.f64 1 (/.f64 y (/.f64 x y)))

series36.0ms (1.6%)

Counts
2 → 48
Calls

2 calls:

26.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
10.0ms
(/.f64 y (/.f64 x y))

rewrite62.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Rules
471×times-frac_binary64
229×*-un-lft-identity_binary64
229×add-sqr-sqrt_binary64
229×add-cube-cbrt_binary64
57×associate-/r*_binary64
Counts
2 → 278
Calls

2 calls:

10.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
4.0ms
(/.f64 y (/.f64 x y))

simplify292.0ms (12.8%)

Algorithm
1×egg-herbie
Rules
768×fma-def_binary64
596×fma-neg_binary64
301×*-commutative_binary64
295×associate-/r/_binary64
270×div-sub_binary64
Counts
326 → 407
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
02456405
14785400
214734989
317214941
422954926
536014718
641974616
747924616
848774616

prune323.0ms (14.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New4034407
Fresh112
Picked101
Done011
Total4056411
Error
0b
Counts
411 → 6
Alt Table
StatusErrorProgram
0.1b
(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
32.0b
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 x (pow.f64 y 3/2))) 3)
10.4b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 1 (/.f64 y (/.f64 x y)))) (/.f64 1 (/.f64 y (/.f64 x y))))) 3)
0.4b
(-.f64 (/.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))))) (/.f64 y (cbrt.f64 (/.f64 x y)))) 3)
▶0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
✓3.1b
(-.f64 (/.f64 x (*.f64 y y)) 3)
Compiler

Compiled 8063 to 3473 computations (56.9% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (/.f64 1 y) (/.f64 x y))

series26.0ms (1.1%)

Counts
1 → 24
Calls

1 calls:

26.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))

rewrite12.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64
25×times-frac_binary64
23×add-exp-log_binary64
17×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
Counts
1 → 58
Calls

1 calls:

8.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))

simplify124.0ms (5.5%)

Algorithm
1×egg-herbie
Rules
885×fma-neg_binary64
444×times-frac_binary64
349×associate-/l*_binary64
316×fma-def_binary64
233×*-commutative_binary64
Counts
82 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
094934
1236811
2708776
31790764
42239764
53222764
64299764
74925764
84992764
94884764

prune77.0ms (3.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New90090
Fresh044
Picked011
Done011
Total90696
Error
0b
Counts
96 → 6
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
32.0b
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 x (pow.f64 y 3/2))) 3)
10.4b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 1 (/.f64 y (/.f64 x y)))) (/.f64 1 (/.f64 y (/.f64 x y))))) 3)
0.4b
(-.f64 (/.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))))) (/.f64 y (cbrt.f64 (/.f64 x y)))) 3)
✓0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
✓3.1b
(-.f64 (/.f64 x (*.f64 y y)) 3)
Compiler

Compiled 1570 to 817 computations (48% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 y (/.f64 y x))
✓0.3b
(/.f64 1 (*.f64 y (/.f64 y x)))

series38.0ms (1.7%)

Counts
2 → 48
Calls

2 calls:

27.0ms
(/.f64 1 (*.f64 y (/.f64 y x)))
11.0ms
(*.f64 y (/.f64 y x))

rewrite14.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
28×add-exp-log_binary64
17×add-sqr-sqrt_binary64
16×add-cbrt-cube_binary64
13×associate-*r*_binary64
13×times-frac_binary64
Counts
2 → 69
Calls

2 calls:

5.0ms
(*.f64 y (/.f64 y x))
4.0ms
(/.f64 1 (*.f64 y (/.f64 y x)))

simplify123.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
700×fma-def_binary64
675×fma-neg_binary64
479×times-frac_binary64
309×associate-/l*_binary64
299×*-commutative_binary64
Counts
117 → 98
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0981168
12081018
2678953
31961945
42387945
53575945
64494945
75037945

prune76.0ms (3.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New98098
Fresh033
Picked011
Done022
Total986104
Error
0b
Counts
104 → 6
Alt Table
StatusErrorProgram
✓0.1b
(-.f64 (/.f64 1 (*.f64 y (/.f64 y x))) 3)
32.0b
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 x (pow.f64 y 3/2))) 3)
10.4b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 1 (/.f64 y (/.f64 x y)))) (/.f64 1 (/.f64 y (/.f64 x y))))) 3)
0.4b
(-.f64 (/.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))))) (/.f64 y (cbrt.f64 (/.f64 x y)))) 3)
✓0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
✓3.1b
(-.f64 (/.f64 x (*.f64 y y)) 3)
Compiler

Compiled 1467 to 711 computations (51.5% saved)

regimes191.0ms (8.4%)

Accuracy

Total 0.1b remaining (87.6%)

Threshold costs 0.1b (87.6%)

Counts
45 → 1
Compiler

Compiled 4502 to 2733 computations (39.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
21110
31010

end109.0ms (4.8%)

Compiler

Compiled 115 to 73 computations (36.5% saved)

Profiling

Loading profile data...