Details

Time bar (total: 9.9s)

analyze464.0ms (4.7%)

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)

sample2.4s (24.7%)

Results
2.4s8256×body128valid
1.0ms3×body128invalid
Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify19.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.6b
(*.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.2b
(sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))
✓0.3b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
✓0.3b
(*.f32 (*.f32 2 (PI.f32)) u2)

series198.0ms (2%)

Counts
4 → 52
Calls

4 calls:

178.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))))
4.0ms
(sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))
3.0ms
(*.f32 (*.f32 2 (PI.f32)) u2)

rewrite61.0ms (0.6%)

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:

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

simplify117.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 → 166
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02863674
17763341
225593238
344833212
450793212

prune175.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New15412166
Fresh101
Picked101
Done000
Total15612168
Error
0.1b
Counts
168 → 12
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)))
0.7b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
5.7b
(*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
▶0.5b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.9b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
1.6b
(*.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.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.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 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
1.5b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (log.f32 (*.f32 2 (*.f32 u2 (PI.f32)))))))
Compiler

Compiled 5096 to 3085 computations (39.5% saved)

localize57.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series254.0ms (2.6%)

Counts
4 → 52
Calls

4 calls:

220.0ms
(*.f32 (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
13.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
12.0ms
(*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
8.0ms
(*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

rewrite91.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
169×pow1_binary32
59×pow-prod-down_binary32
52×add-cbrt-cube_binary32
52×pow-prod-up_binary32
50×sqrt-prod_binary32
Counts
4 → 202
Calls

4 calls:

41.0ms
(*.f32 (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
10.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
8.0ms
(*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
5.0ms
(*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

simplify169.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
706×unswap-sqr_binary32
421×times-frac_binary32
404×associate-*r*_binary32
400×associate-*l*_binary32
197×fma-def_binary32
Counts
254 → 275
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03416588
18385479
231065397
354815397

prune349.0ms (3.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2714275
Fresh3811
Picked101
Done000
Total27512287
Error
0.0b
Counts
287 → 12
Alt Table
StatusErrorProgram
19.9b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (log.f32 (exp.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.6b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.7b
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.9b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
14.3b
(cbrt.f32 (*.f32 (*.f32 (log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
▶0.5b
(cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
0.7b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
1.6b
(*.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.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))))
5.7b
(*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
Compiler

Compiled 13254 to 6744 computations (49.1% saved)

localize61.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series491.0ms (5%)

Counts
2 → 28
Calls

2 calls:

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

rewrite27.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
25×add-cbrt-cube_binary32
25×add-exp-log_binary32
25×pow1_binary32
16×cbrt-unprod_binary32
16×prod-exp_binary32
Counts
2 → 62
Calls

2 calls:

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

simplify101.0ms (1%)

Algorithm
1×egg-herbie
Rules
454×fma-def_binary32
453×associate-*l*_binary32
416×associate-*r*_binary32
300×associate-+r+_binary32
200×associate-+l+_binary32
Counts
90 → 121
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04105949
112694872
250614872

prune337.0ms (3.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2172219
Fresh11011
Picked101
Done000
Total21912231
Error
0.0b
Counts
231 → 12
Alt Table
StatusErrorProgram
1.6b
(cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (pow.f32 (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32))))) 3) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
14.3b
(cbrt.f32 (*.f32 (*.f32 (log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
19.9b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (log.f32 (exp.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
▶0.6b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.7b
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
0.9b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
1.1b
(cbrt.f32 (*.f32 (exp.f32 (log.f32 (*.f32 (expm1.f32 (log1p.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
0.7b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.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))))
5.7b
(*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
Compiler

Compiled 12711 to 7675 computations (39.6% saved)

localize70.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series468.0ms (4.7%)

Counts
2 → 32
Calls

2 calls:

415.0ms
(*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
53.0ms
(*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))

rewrite50.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
63×pow1_binary32
58×add-exp-log_binary32
50×add-cbrt-cube_binary32
44×pow-prod-down_binary32
43×cbrt-unprod_binary32
Counts
2 → 92
Calls

2 calls:

22.0ms
(*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
5.0ms
(*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))

simplify118.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
609×associate-*l*_binary32
549×associate-*r*_binary32
461×fma-def_binary32
189×associate-*r/_binary32
174×times-frac_binary32
Counts
124 → 140
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04967256
114675799
250215799

prune344.0ms (3.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New2362238
Fresh11011
Picked011
Done000
Total23713250
Error
0.0b
Counts
250 → 13
Alt Table
StatusErrorProgram
1.6b
(cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (pow.f32 (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32))))) 3) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
14.3b
(cbrt.f32 (*.f32 (*.f32 (log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
✓0.6b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.7b
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
5.7b
(*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
3.2b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (fma.f32 1/3 (cbrt.f32 (pow.f32 u1 5)) (cbrt.f32 (*.f32 u1 u1))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
19.9b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (log.f32 (exp.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.9b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))) (cbrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
1.1b
(cbrt.f32 (*.f32 (exp.f32 (log.f32 (*.f32 (expm1.f32 (log1p.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
2.9b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
0.7b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.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))))
Compiler

Compiled 15605 to 8338 computations (46.6% saved)

regimes3.1s (31.6%)

Accuracy

Total 0.4b remaining (82.1%)

Threshold costs 0.4b (82.1%)

Counts
250 → 1
Compiler

Compiled 76414 to 56630 computations (25.9% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
6×*-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
01939
12939
23339
33539
43539

end253.0ms (2.6%)

Compiler

Compiled 472 to 338 computations (28.4% saved)

Profiling

Loading profile data...