Details

Time bar (total: 9.1s)

analyze403.0ms (4.4%)

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)

sample97.0ms (1.1%)

Algorithm
1×intervals
Results
34.0ms256×body128valid
8.0ms256×pre128true
Compiler

Compiled 58 to 48 computations (17.2% saved)

simplify18.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

prune4.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.2b
(*.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)

localize33.0ms (0.4%)

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)

series196.0ms (2.1%)

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)))
10.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)

rewrite18.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:

8.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))))

simplify174.0ms (1.9%)

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

prune187.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New15313166
Fresh101
Picked101
Done000
Total15513168
Error
0.1b
Counts
168 → 13
Alt Table
StatusErrorProgram
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.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.9b
(*.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))))
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)))))
2.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (exp.f32 (log.f32 (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))))
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)))))
18.9b
(log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
▶0.5b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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 (*.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))))
1.1b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
Compiler

Compiled 5148 to 3137 computations (39.1% saved)

localize56.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series203.0ms (2.2%)

Counts
4 → 44
Calls

4 calls:

187.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
13.0ms
(*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))
3.0ms
(*.f32 (*.f32 u2 u2) u2)
0.0ms
(*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))

rewrite122.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
817×pow1_binary32
401×pow-prod-down_binary32
218×add-cbrt-cube_binary32
215×add-exp-log_binary32
213×pow-prod-up_binary32
Counts
4 → 312
Calls

4 calls:

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

simplify216.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
658×fma-def_binary32
486×associate-*l*_binary32
416×associate-*r*_binary32
289×cancel-sign-sub-inv_binary32
246×times-frac_binary32
Counts
356 → 227
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03348080
17095417
227525379
343065370
449315370
549495370

prune282.0ms (3.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2234227
Fresh4812
Picked101
Done000
Total22812240
Error
0.0b
Counts
240 → 12
Alt Table
StatusErrorProgram
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.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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 (*.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 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))
18.9b
(log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.9b
(*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
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 (*.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))))
2.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (exp.f32 (log.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
3.0b
(exp.f32 (+.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (log.f32 (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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))))
1.1b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
Compiler

Compiled 8656 to 4852 computations (43.9% saved)

localize70.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))
0.3b
(*.f32 (*.f32 u2 u2) u2)
✓0.3b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
✓1.0b
(*.f32 (PI.f32) (*.f32 (PI.f32) 4))

series204.0ms (2.2%)

Counts
3 → 32
Calls

3 calls:

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

rewrite32.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
46×add-cbrt-cube_binary32
46×add-exp-log_binary32
46×pow1_binary32
31×cbrt-unprod_binary32
31×prod-exp_binary32
Counts
3 → 90
Calls

3 calls:

11.0ms
(*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))
7.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
4.0ms
(*.f32 (PI.f32) (*.f32 (PI.f32) 4))

simplify124.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
637×fma-def_binary32
394×associate-*l*_binary32
345×associate-*r*_binary32
289×cancel-sign-sub-inv_binary32
275×fma-neg_binary32
Counts
122 → 137
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02804368
16943239
223403110
346923108
449793108

prune174.0ms (1.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1671168
Fresh11011
Picked011
Done000
Total16812180
Error
0.0b
Counts
180 → 12
Alt Table
StatusErrorProgram
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.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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 (*.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 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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 (*.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))))
2.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (exp.f32 (log.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
18.9b
(log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.9b
(*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))
3.0b
(exp.f32 (+.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (log.f32 (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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))))
1.1b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
Compiler

Compiled 6434 to 3776 computations (41.3% saved)

localize73.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series1.3s (14.1%)

Counts
3 → 60
Calls

3 calls:

805.0ms
(*.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 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))
422.0ms
(*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
54.0ms
(*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))

rewrite42.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
31×add-sqr-sqrt_binary32
29×associate-*l*_binary32
22×cbrt-prod_binary32
19×*-un-lft-identity_binary32
19×add-cube-cbrt_binary32
Counts
3 → 100
Calls

3 calls:

16.0ms
(*.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 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))
12.0ms
(*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
5.0ms
(*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))

simplify184.0ms (2%)

Algorithm
1×egg-herbie
Rules
718×fma-def_binary32
378×associate-/r*_binary32
331×*-commutative_binary32
328×times-frac_binary32
217×associate-/l*_binary32
Counts
160 → 236
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
079412609
1237711058
2509111058

prune434.0ms (4.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New2656271
Fresh3710
Picked101
Done011
Total26914283
Error
0.0b
Counts
283 → 14
Alt Table
StatusErrorProgram
0.6b
(*.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 (cbrt.f32 (*.f32 (*.f32 (exp.f32 (*.f32 2 (log.f32 (*.f32 2 (PI.f32))))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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))))
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.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
1.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (pow.f32 u2 3) (pow.f32 (*.f32 2 (PI.f32)) 3)))))) (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (pow.f32 u2 3) (pow.f32 (*.f32 2 (PI.f32)) 3))))))))
0.9b
(*.f32 (sqrt.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (sqrt.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 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))))
7.8b
(*.f32 (sqrt.f32 (pow.f32 (pow.f32 u1 2) 1/3)) (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))
1.1b
(*.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
14.8b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))))
2.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (exp.f32 (+.f32 (log.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (log.f32 (sin.f32 (cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))))))))
2.4b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (exp.f32 (log.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
18.9b
(log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.9b
(*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) 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))))
Compiler

Compiled 19680 to 11716 computations (40.5% saved)

regimes2.4s (25.9%)

Accuracy

Total 0.4b remaining (84.5%)

Threshold costs 0.4b (84.5%)

Counts
190 → 1
Compiler

Compiled 57906 to 42874 computations (26% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
9×*-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
02244
13544
23944
34144
44144

end1.0ms (0%)

Compiler

Compiled 28 to 22 computations (21.4% saved)

sample2.1s (23.3%)

Algorithm
1×intervals
Results
1.1s8000×body128valid
273.0ms8000×pre128true
0.0ms4×pre128false
Compiler

Compiled 525 to 374 computations (28.8% saved)

Profiling

Loading profile data...