Details

Time bar (total: 2.5min)

analyze117.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0.9%99.1%0
0%0.9%99.1%1
0%0.9%99.1%2
0.4%0.4%99.1%3
0.4%0.4%99.1%4
0.6%0.2%99.1%5
0.6%0.2%99.1%6
0.7%0.1%99.1%7
0.7%0.1%99.1%8
0.8%0.1%99.1%9
0.8%0.1%99.1%10
0.8%0%99.1%11
0.8%0%99.1%12
0.8%0%99.1%13
0.8%0%99.1%14
Compiler

Compiled 32 to 24 computations (25% saved)

sample203.0ms (0.1%)

Algorithm
1×intervals
Results
24.0ms256×body128valid
7.0ms256×pre128true
Compiler

Compiled 51 to 39 computations (23.5% saved)

simplify156.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2879×fma-def_binary32
2626×associate-+l+_binary32
362×distribute-rgt-in_binary32
324×associate-+r+_binary32
323×distribute-rgt-out_binary32
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01323
12119
23519
35419
411019
517319
624719
740519
850519
956319
1061319
1163619
1267219
1378119
1495919
15121819
16155019
17155619
18154819
19189619
20211319
21220819
22230719
23227519
24227519
25227519
26426519
27426519
28426519
29426519
30561919

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.2b
(+.f32 1 (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
▶0.2b
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
Compiler

Compiled 94 to 70 computations (25.5% saved)

localize33.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
✓0.1b
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
✓0.1b
(exp.f32 (/.f32 -2 v))
✓0.1b
(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))

series265.0ms (0.2%)

Counts
4 → 80
Calls

4 calls:

189.0ms
(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
65.0ms
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
9.0ms
(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
2.0ms
(exp.f32 (/.f32 -2 v))

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×exp-prod_binary32
12×*-un-lft-identity_binary32
12×add-sqr-sqrt_binary32
12×add-cube-cbrt_binary32
9×times-frac_binary32
Counts
4 → 57
Calls

4 calls:

2.0ms
(exp.f32 (/.f32 -2 v))
1.0ms
(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
0.0ms
(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
0.0ms
(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)

simplify99.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
631×cancel-sign-sub-inv_binary32
440×sub-neg_binary32
256×fma-def_binary32
234×+-commutative_binary32
225×fma-neg_binary32
Counts
137 → 173
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03394060
110133883
238163673
353693673

prune204.0ms (0.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1649173
Fresh101
Picked101
Done000
Total1669175
Error
0.0b
Counts
175 → 9
Alt Table
StatusErrorProgram
▶0.2b
(fma.f32 v (log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)) 1)
29.2b
(-.f32 (fma.f32 (/.f32 u (pow.f32 v 3)) 2/3 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 (/.f32 u (*.f32 v v)) 4/3 (fma.f32 8/3 (/.f32 (pow.f32 u 3) (*.f32 v v)) (*.f32 (pow.f32 (/.f32 u v) 3) 8))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (*.f32 u u) v) (fma.f32 (*.f32 (/.f32 u v) (/.f32 u v)) 4 (*.f32 (/.f32 (*.f32 u u) (pow.f32 v 3)) 14/3))))))
0.4b
(fma.f32 v (log1p.f32 (expm1.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)
1.9b
(*.f32 (sqrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (sqrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
0.4b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
1.8b
(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))))
30.4b
(-.f32 (+.f32 (/.f32 (*.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 v (*.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 1/2 (*.f32 v (*.f32 u u)) (+.f32 1 (fma.f32 v u (*.f32 1/2 (/.f32 (*.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
30.3b
(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (fma.f32 1/3 (pow.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) 3) (+.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 u u) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (/.f32 (*.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (pow.f32 u 3) 1/3 (+.f32 (fma.f32 (*.f32 u u) 1/2 (+.f32 u (/.f32 2 v))) (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))) 1)
30.4b
(fma.f32 v (-.f32 (+.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 u u) (exp.f32 (/.f32 -2 v)))) (fma.f32 1/2 (/.f32 (*.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (*.f32 u u) 1/2 (+.f32 u (/.f32 2 v))))) 1)
Compiler

Compiled 5546 to 3976 computations (28.3% saved)

localize42.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))
✓0.1b
(fma.f32 v (log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)) 1)
0.1b
(exp.f32 (/.f32 -2 v))
✓0.1b
(log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u))

series256.0ms (0.2%)

Counts
3 → 72
Calls

3 calls:

178.0ms
(log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u))
68.0ms
(fma.f32 v (log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)) 1)
9.0ms
(*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary32
9×*-un-lft-identity_binary32
6×associate-*l*_binary32
6×add-cube-cbrt_binary32
6×pow1_binary32
Counts
3 → 51
Calls

3 calls:

9.0ms
(log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u))
8.0ms
(*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))
0.0ms
(fma.f32 v (log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)) 1)

simplify120.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
459×sub-neg_binary32
350×fma-neg_binary32
274×fma-def_binary32
242×+-commutative_binary32
219×times-frac_binary32
Counts
123 → 164
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03434035
110513871
240063690
349953690
450603690

prune253.0ms (0.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1970197
Fresh088
Picked011
Done000
Total1979206
Error
0.0b
Counts
206 → 9
Alt Table
StatusErrorProgram
✓0.2b
(fma.f32 v (log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)) 1)
29.2b
(-.f32 (fma.f32 (/.f32 u (pow.f32 v 3)) 2/3 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 (/.f32 u (*.f32 v v)) 4/3 (fma.f32 8/3 (/.f32 (pow.f32 u 3) (*.f32 v v)) (*.f32 (pow.f32 (/.f32 u v) 3) 8))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (*.f32 u u) v) (fma.f32 (*.f32 (/.f32 u v) (/.f32 u v)) 4 (*.f32 (/.f32 (*.f32 u u) (pow.f32 v 3)) 14/3))))))
0.4b
(fma.f32 v (log1p.f32 (expm1.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)
1.9b
(*.f32 (sqrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (sqrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
▶0.4b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
1.8b
(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))))
30.4b
(-.f32 (+.f32 (/.f32 (*.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 v (*.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 1/2 (*.f32 v (*.f32 u u)) (+.f32 1 (fma.f32 v u (*.f32 1/2 (/.f32 (*.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
30.3b
(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (fma.f32 1/3 (pow.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) 3) (+.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 u u) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (/.f32 (*.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (pow.f32 u 3) 1/3 (+.f32 (fma.f32 (*.f32 u u) 1/2 (+.f32 u (/.f32 2 v))) (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))) 1)
30.4b
(fma.f32 v (-.f32 (+.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 u u) (exp.f32 (/.f32 -2 v)))) (fma.f32 1/2 (/.f32 (*.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (*.f32 u u) 1/2 (+.f32 u (/.f32 2 v))))) 1)
Compiler

Compiled 6237 to 4500 computations (27.8% saved)

localize46.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(exp.f32 (/.f32 -2 v))
✓0.1b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
0.1b
(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
✓0.1b
(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

series1.2s (0.8%)

Counts
2 → 48
Calls

2 calls:

1.1s
(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
67.0ms
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×pow1_binary32
22×add-sqr-sqrt_binary32
20×cbrt-prod_binary32
15×pow1/3_binary32
12×associate-*r*_binary32
Counts
2 → 80
Calls

2 calls:

7.0ms
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
6.0ms
(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

simplify215.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
818×associate-/l*_binary32
366×*-commutative_binary32
232×+-commutative_binary32
204×fma-def_binary32
190×associate-+r+_binary32
Counts
128 → 160
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
090016251
1331514544
2546714544

prune1.5s (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New4303433
Fresh167
Picked101
Done011
Total43210442
Error
0.0b
Counts
442 → 10
Alt Table
StatusErrorProgram
✓0.2b
(fma.f32 v (log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)) 1)
29.2b
(-.f32 (fma.f32 (/.f32 u (pow.f32 v 3)) 2/3 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 (/.f32 u (*.f32 v v)) 4/3 (fma.f32 8/3 (/.f32 (pow.f32 u 3) (*.f32 v v)) (*.f32 (pow.f32 (/.f32 u v) 3) 8))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (*.f32 u u) v) (fma.f32 (*.f32 (/.f32 u v) (/.f32 u v)) 4 (*.f32 (/.f32 (*.f32 u u) (pow.f32 v 3)) 14/3))))))
▶0.3b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (+.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
30.4b
(-.f32 (+.f32 (/.f32 (*.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 v (*.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 1/2 (*.f32 v (*.f32 u u)) (+.f32 1 (fma.f32 v u (*.f32 1/2 (/.f32 (*.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
30.3b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (fma.f32 1/3 (pow.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) 3) (+.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 u u) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (/.f32 (*.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (pow.f32 u 3) 1/3 (+.f32 (fma.f32 (*.f32 u u) 1/2 (+.f32 u (/.f32 2 v))) (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))) 1)))
30.3b
(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (fma.f32 1/3 (pow.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) 3) (+.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (/.f32 (*.f32 u u) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (/.f32 (*.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (pow.f32 u 3) 1/3 (+.f32 (fma.f32 (*.f32 u u) 1/2 (+.f32 u (/.f32 2 v))) (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))) 1)
0.4b
(fma.f32 v (log1p.f32 (expm1.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)
1.9b
(*.f32 (sqrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (sqrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
0.3b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (+.f32 (log.f32 (*.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)))
1.8b
(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))))
Compiler

Compiled 38166 to 29037 computations (23.9% saved)

localize77.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f32 (*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (+.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
0.1b
(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
✓0.1b
(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (+.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))) 1)))
✓0.4b
(log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))

series2.4min (96.8%)

Calls

1 calls:

517.0ms
(log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))

Profiling

Loading profile data...