Details

Time bar (total: 2.0s)

analyze312.0ms (15.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
31.2%68.6%0.1%7
37.4%62.4%0.1%8
40.6%57.7%1.7%9
54.6%41.3%4%10
59.3%36.7%4%11
61.6%32.6%5.8%12
68.3%22.7%9%13
71%20%9%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample801.0ms (40.4%)

Results
714.0ms8256×body128valid
67.0ms766×body128invalid
Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess20.0ms (1%)

Algorithm
2×egg-herbie
Rules
9×*-commutative_binary64
6×associate-/l*_binary64
6×associate-/r/_binary64
1×swap-x-y
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01228
12228
23028
33628
43828
033
133
Stop Event
1×unsound
1×saturated
Symmetry

(sort x y)

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2137
3167
4177
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
6.9b
(*.f64 x (/.f64 y z))
▶6.1b
(/.f64 (*.f64 x y) z)
Compiler

Compiled 45 to 27 computations (40% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.7%)

Counts
1 → 36
Calls

9 calls:

3.0ms
(/.f64 (*.f64 x y) z)
x
0
2.0ms
(/.f64 (*.f64 x y) z)
x
-inf
2.0ms
(/.f64 (*.f64 x y) z)
y
-inf
1.0ms
(/.f64 (*.f64 x y) z)
x
inf
1.0ms
(/.f64 (*.f64 x y) z)
y
inf

rewrite39.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
659×log1p-expm1-u_binary64
659×expm1-log1p-u_binary64
367×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11257
217457
Stop Event
1×node limit
Counts
1 → 46

simplify12.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06252
19252
213252
316252
417252
Stop Event
1×saturated
Counts
82 → 48

prune33.0ms (1.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New40848
Fresh011
Picked011
Done000
Total401050
Error
0.0b
Counts
50 → 10
Alt Table
StatusErrorProgram
▶6.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
35.7b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 z)))
6.9b
(*.f64 x (/.f64 y z))
✓6.1b
(/.f64 (*.f64 x y) z)
36.4b
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
7.4b
(*.f64 x (/.f64 1 (/.f64 z y)))
30.8b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x z) y)) 2)
7.8b
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
6.6b
(*.f64 y (/.f64 x z))
7.4b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 3)
Compiler

Compiled 697 to 312 computations (55.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.6%)

Counts
1 → 36
Calls

9 calls:

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

rewrite38.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
702×log1p-expm1-u_binary64
702×expm1-log1p-u_binary64
137×expm1-udef_binary64
137×log1p-udef_binary64
79×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087
11617
219967
Stop Event
1×node limit
Counts
1 → 28

simplify11.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06252
19252
213252
316252
417252
Stop Event
1×saturated
Counts
64 → 30

prune22.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New27330
Fresh358
Picked011
Done101
Total31940
Error
0b
Counts
40 → 9
Alt Table
StatusErrorProgram
✓6.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
6.9b
(/.f64 y (/.f64 z x))
35.7b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 z)))
7.0b
(/.f64 x (/.f64 z y))
34.4b
(/.f64 (sqrt.f64 (*.f64 x y)) (/.f64 z (sqrt.f64 (*.f64 x y))))
6.9b
(*.f64 x (/.f64 y z))
30.8b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x z) y)) 2)
▶6.6b
(*.f64 y (/.f64 x z))
7.4b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 3)
Compiler

Compiled 432 to 217 computations (49.8% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.4b
(*.f64 y (/.f64 x z))

series11.0ms (0.5%)

Counts
1 → 36
Calls

9 calls:

2.0ms
(*.f64 y (/.f64 x z))
x
-inf
2.0ms
(*.f64 y (/.f64 x z))
y
-inf
1.0ms
(*.f64 y (/.f64 x z))
y
0
1.0ms
(*.f64 y (/.f64 x z))
x
inf
1.0ms
(*.f64 y (/.f64 x z))
y
inf

rewrite34.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
628×log1p-expm1-u_binary64
628×expm1-log1p-u_binary64
349×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11257
216867
Stop Event
1×node limit
Counts
1 → 27

simplify12.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06252
19252
213252
316252
417252
Stop Event
1×saturated
Counts
63 → 28

prune19.0ms (0.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh077
Picked011
Done011
Total28937
Error
0b
Counts
37 → 9
Alt Table
StatusErrorProgram
✓6.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
▶6.9b
(/.f64 y (/.f64 z x))
35.7b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 z)))
7.0b
(/.f64 x (/.f64 z y))
34.4b
(/.f64 (sqrt.f64 (*.f64 x y)) (/.f64 z (sqrt.f64 (*.f64 x y))))
6.9b
(*.f64 x (/.f64 y z))
30.8b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x z) y)) 2)
✓6.6b
(*.f64 y (/.f64 x z))
7.4b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 3)
Compiler

Compiled 423 to 199 computations (53% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.7b
(/.f64 y (/.f64 z x))

series12.0ms (0.6%)

Counts
1 → 36
Calls

9 calls:

2.0ms
(/.f64 y (/.f64 z x))
z
-inf
2.0ms
(/.f64 y (/.f64 z x))
x
-inf
2.0ms
(/.f64 y (/.f64 z x))
y
-inf
1.0ms
(/.f64 y (/.f64 z x))
y
0
1.0ms
(/.f64 y (/.f64 z x))
x
inf

rewrite38.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
724×log1p-expm1-u_binary64
724×expm1-log1p-u_binary64
125×expm1-udef_binary64
125×log1p-udef_binary64
69×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11317
219327
Stop Event
1×node limit
Counts
1 → 43

simplify12.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06252
19252
213252
316252
417252
Stop Event
1×saturated
Counts
79 → 44

prune31.0ms (1.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New42244
Fresh336
Picked011
Done022
Total45853
Error
0b
Counts
53 → 8
Alt Table
StatusErrorProgram
✓6.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
✓6.9b
(/.f64 y (/.f64 z x))
35.3b
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z x))) (/.f64 y (sqrt.f64 (/.f64 z x))))
6.9b
(*.f64 x (/.f64 y z))
7.0b
(/.f64 x (/.f64 z y))
6.3b
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
✓6.6b
(*.f64 y (/.f64 x z))
7.4b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 3)
Compiler

Compiled 500 to 212 computations (57.6% saved)

regimes238.0ms (12%)

Accuracy

Total 0.7b remaining (98.8%)

Threshold costs 0.7b (98.8%)

Counts
22 → 5
Compiler

Compiled 1404 to 885 computations (37% saved)

bsearch1.0ms (0%)

Algorithm
4×left-value
Calls

4 calls:

0.0ms
(/.f64 (*.f64 x y) z)
0.0ms
(/.f64 (*.f64 x y) z)
0.0ms
(/.f64 (*.f64 x y) z)
0.0ms
(/.f64 (*.f64 x y) z)
Steps
ItersPointRange
1.9835413246058474e+290
∈ [
1.9835413246058474e+290
, 
#hash((type . real) (value . +inf))
]
-0.0
∈ [
-0.0
, 
1.6894121913184004e-297
]
-2.508990892122152e-287
∈ [
-2.508990892122152e-287
, 
-1.2302741591967252e-289
]
#hash((type . real) (value . -inf))
∈ [
#hash((type . real) (value . -inf))
, 
-1.3652407144748383e+303
]
Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03089
13689
Stop Event
1×saturated

end234.0ms (11.8%)

Stop Event
1×fuel
Compiler

Compiled 337 to 161 computations (52.2% saved)

Profiling

Loading profile data...