Details

Time bar (total: 9.8s)

analyze385.0ms (3.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 39 to 31 computations (20.5% saved)

sample105.0ms (1.1%)

Algorithm
1×intervals
Results
37.0ms256×body128valid
9.0ms256×pre128true
0.0ms1×pre128false
Compiler

Compiled 58 to 48 computations (17.2% saved)

simplify15.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
40×fma-neg_binary32
22×sub-neg_binary32
17×cancel-sign-sub-inv_binary32
15×fma-def_binary32
11×*-commutative_binary32
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01422
12621
23821
34621
45621
56721
68221
710621
811921
912521
1014421
1114021
1216721
1318021
1418421
1518521
1616321

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.5b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
13.3b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
Compiler

Compiled 90 to 77 computations (14.4% saved)

localize34.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
✓0.1b
(sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))
✓0.4b
(*.f32 (*.f32 2 (PI.f32)) u2)
✓0.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

series197.0ms (2%)

Counts
4 → 52
Calls

4 calls:

179.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
11.0ms
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms
(sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))
3.0ms
(*.f32 (*.f32 2 (PI.f32)) u2)

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
21×sqrt-prod_binary32
18×add-sqr-sqrt_binary32
14×associate-*l*_binary32
13×*-un-lft-identity_binary32
13×add-cube-cbrt_binary32
Counts
4 → 82
Calls

4 calls:

6.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
4.0ms
(*.f32 (*.f32 2 (PI.f32)) u2)
1.0ms
(sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))
1.0ms
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))

simplify115.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
553×cancel-sign-sub-inv_binary32
510×fma-neg_binary32
360×times-frac_binary32
236×associate-*l*_binary32
224×fma-def_binary32
Counts
134 → 164
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02863674
17753341
225593238
344833212
450793212

prune185.0ms (1.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New15113164
Fresh011
Picked101
Done000
Total15214166
Error
0.1b
Counts
166 → 14
Alt Table
StatusErrorProgram
0.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
1.5b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
▶0.6b
(expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.9b
(*.f32 (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
1.3b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.7b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
0.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
1.7b
(-.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (*.f32 (PI.f32) u2) (*.f32 4/15 (*.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5))))) (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/3 (pow.f32 (*.f32 (PI.f32) u2) 3) (*.f32 8/315 (*.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
13.3b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.9b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
1.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 2) (log.f32 (PI.f32))) (log.f32 u2)))))
Compiler

Compiled 5190 to 3179 computations (38.7% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
✓0.1b
(log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
0.4b
(*.f32 (*.f32 2 (PI.f32)) u2)
0.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

series743.0ms (7.6%)

Counts
2 → 40
Calls

2 calls:

571.0ms
(log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
171.0ms
(expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))

rewrite2.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×expm1-log1p-u_binary32
2×*-un-lft-identity_binary32
2×add-sqr-sqrt_binary32
2×add-cube-cbrt_binary32
2×add-cbrt-cube_binary32
Counts
2 → 22
Calls

2 calls:

0.0ms
(log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
0.0ms
(expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))

simplify103.0ms (1%)

Algorithm
1×egg-herbie
Rules
740×cancel-sign-sub-inv_binary32
286×fma-neg_binary32
281×fma-def_binary32
280×unswap-sqr_binary32
253×associate-*r*_binary32
Counts
62 → 85
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02934482
18944146
235514132
354304132

prune243.0ms (2.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1834187
Fresh31013
Picked101
Done000
Total18714201
Error
0.0b
Counts
201 → 14
Alt Table
StatusErrorProgram
0.9b
(*.f32 (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
1.3b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
▶0.7b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
0.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
2.9b
(exp.f32 (log.f32 (expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))))
0.9b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
1.5b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
14.8b
(expm1.f32 (log1p.f32 (*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
1.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(expm1.f32 (exp.f32 (log.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))))
2.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 2) (log.f32 (PI.f32))) (log.f32 u2)))))
2.9b
(fma.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -4/3))
Compiler

Compiled 8706 to 5741 computations (34.1% saved)

localize44.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))
✓0.4b
(*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))
✓0.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
✓0.4b
(*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2))

series153.0ms (1.6%)

Counts
4 → 32
Calls

4 calls:

117.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
19.0ms
(sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))
11.0ms
(*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2))
6.0ms
(*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))

rewrite25.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
20×add-cbrt-cube_binary32
20×add-exp-log_binary32
20×pow1_binary32
17×sqrt-prod_binary32
17×add-sqr-sqrt_binary32
Counts
4 → 89
Calls

4 calls:

7.0ms
(*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))
6.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
5.0ms
(*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2))
2.0ms
(sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))

simplify112.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
738×fma-def_binary32
585×times-frac_binary32
351×cancel-sign-sub-inv_binary32
331×associate-*l*_binary32
312×fma-neg_binary32
Counts
121 → 158
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02543023
16562765
222212658
347162638
453942638

prune165.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1553158
Fresh31013
Picked101
Done000
Total15913172
Error
0.0b
Counts
172 → 13
Alt Table
StatusErrorProgram
1.5b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))))
0.9b
(*.f32 (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.8b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32))))) (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32))))))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))))
1.3b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
2.9b
(exp.f32 (log.f32 (expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))))
0.9b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
▶0.7b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))))
2.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 2) (log.f32 (PI.f32))) (log.f32 u2)))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
1.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(expm1.f32 (exp.f32 (log.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))))
2.9b
(fma.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -4/3))
Compiler

Compiled 4932 to 2686 computations (45.5% saved)

localize56.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2)))
✓0.4b
(*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2)))
✓0.4b
(*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))
✓0.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))))

series499.0ms (5.1%)

Counts
4 → 48
Calls

4 calls:

355.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))))
67.0ms
(*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2)))
65.0ms
(*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))
12.0ms
(*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2)))

rewrite42.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
34×add-cbrt-cube_binary32
34×add-exp-log_binary32
34×pow1_binary32
29×associate-*r*_binary32
23×add-sqr-sqrt_binary32
Counts
4 → 117
Calls

4 calls:

11.0ms
(*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2)))
10.0ms
(*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))
7.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))))
5.0ms
(*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2)))

simplify142.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
666×times-frac_binary32
521×associate-*l*_binary32
447×fma-def_binary32
369×associate-*r*_binary32
246×*-commutative_binary32
Counts
165 → 195
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02915461
17204505
224904252
345994244
454114244

prune201.0ms (2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1932195
Fresh11112
Picked011
Done000
Total19414208
Error
0.0b
Counts
208 → 14
Alt Table
StatusErrorProgram
1.5b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))))
0.9b
(*.f32 (*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.8b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32))))) (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32))))))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2)))))
0.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
1.2b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (*.f32 (PI.f32) (pow.f32 (pow.f32 u2 1/6) 3))) (sqrt.f32 u2)))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (*.f32 (PI.f32) (pow.f32 (pow.f32 u2 1/6) 3))) (sqrt.f32 u2)))))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2)))))
2.9b
(exp.f32 (log.f32 (expm1.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))))
0.9b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.7b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (cbrt.f32 (*.f32 u2 (pow.f32 (*.f32 (pow.f32 u2 1/6) (*.f32 2 (PI.f32))) 3))) (sqrt.f32 u2))))
✓0.7b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (fabs.f32 (cbrt.f32 u2))) (sqrt.f32 (cbrt.f32 u2))) (sqrt.f32 u2))))
2.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 2) (log.f32 (PI.f32))) (log.f32 u2)))))
1.0b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (*.f32 (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(expm1.f32 (exp.f32 (log.f32 (log1p.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))))
2.9b
(fma.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -4/3))
Compiler

Compiled 6943 to 3443 computations (50.4% saved)

regimes3.9s (39.6%)

Accuracy

Total 0.5b remaining (87.1%)

Threshold costs 0.5b (87.1%)

Counts
277 → 1
Compiler

Compiled 67740 to 53944 computations (20.4% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
7×*-commutative_binary32
2×+-commutative_binary32
2×sub-neg_binary32
2×neg-sub0_binary32
2×neg-mul-1_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01843
12943
23343
33543
43543

end1.0ms (0%)

Compiler

Compiled 28 to 22 computations (21.4% saved)

sample2.3s (23.4%)

Algorithm
1×intervals
Results
1.2s8000×body128valid
335.0ms8000×pre128true
0.0ms5×pre128false
Compiler

Compiled 467 to 355 computations (24% saved)

Profiling

Loading profile data...