Details

Time bar (total: 18.4s)

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

sample123.0ms (0.7%)

Algorithm
1×intervals
Results
75.0ms256×body128valid
15.0ms256×pre128true
Compiler

Compiled 58 to 48 computations (17.2% saved)

simplify26.0ms (0.1%)

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

prune8.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 90 to 77 computations (14.4% saved)

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

series248.0ms (1.3%)

Counts
4 → 52
Calls

4 calls:

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

rewrite19.0ms (0.1%)

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:

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

simplify150.0ms (0.8%)

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

prune223.0ms (1.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New15115166
Fresh101
Picked101
Done000
Total15315168
Error
0.0b
Counts
168 → 15
Alt Table
StatusErrorProgram
1.6b
(*.f32 (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))) (sqrt.f32 (*.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 (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
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)))
12.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (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.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.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)))))
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 (*.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
6.0b
(*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
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.8b
(*.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.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))))
2.0b
(-.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (*.f32 u2 (PI.f32)) (*.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 u2 (PI.f32)) 3) (*.f32 8/315 (*.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
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))))
Compiler

Compiled 5346 to 3249 computations (39.2% saved)

localize115.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 (*.f32 u2 u2) u2)
✓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 (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)))

series330.0ms (1.8%)

Counts
4 → 44
Calls

4 calls:

300.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)))))
25.0ms
(*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))
5.0ms
(*.f32 (*.f32 u2 u2) u2)
0.0ms
(*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))

rewrite169.0ms (0.9%)

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:

59.0ms
(*.f32 (*.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))
19.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)))))
10.0ms
(*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))
4.0ms
(*.f32 (*.f32 u2 u2) u2)

simplify275.0ms (1.5%)

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

prune458.0ms (2.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New2243227
Fresh6814
Picked011
Done000
Total23012242
Error
0.0b
Counts
242 → 12
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)))
3.6b
(fma.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -6004799503160661/4503599627370496 (*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
12.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (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.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.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)))))
1.6b
(*.f32 (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))))
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.7b
(*.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)))))
0.8b
(*.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.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (neg.f32 (cbrt.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))))
Compiler

Compiled 8720 to 4866 computations (44.2% saved)

localize138.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series383.0ms (2.1%)

Counts
3 → 40
Calls

3 calls:

343.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))))
25.0ms
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
15.0ms
(*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

rewrite92.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
149×pow1_binary32
56×pow-prod-down_binary32
50×sqrt-prod_binary32
46×pow-prod-up_binary32
43×add-cbrt-cube_binary32
Counts
3 → 170
Calls

3 calls:

42.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)))))
6.0ms
(*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

simplify144.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
648×unswap-sqr_binary32
417×times-frac_binary32
377×associate-*r*_binary32
368×associate-*l*_binary32
176×fma-def_binary32
Counts
210 → 229
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03185858
17814859
229104790
351514790

prune611.0ms (3.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New3112313
Fresh1910
Picked101
Done011
Total31312325
Error
0.0b
Counts
325 → 12
Alt Table
StatusErrorProgram
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 (*.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))))
1.6b
(*.f32 (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))))
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)))
3.6b
(fma.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -6004799503160661/4503599627370496 (*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
12.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (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.5b
(cbrt.f32 (*.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (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.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 (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.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (*.f32 (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (neg.f32 (cbrt.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))))
Compiler

Compiled 14988 to 7459 computations (50.2% saved)

localize139.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series676.0ms (3.7%)

Counts
4 → 60
Calls

4 calls:

376.0ms
(*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3))
266.0ms
(*.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
25.0ms
(pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)
9.0ms
(pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2)

rewrite80.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
59×add-sqr-sqrt_binary32
48×sqrt-prod_binary32
48×unpow-prod-down_binary32
41×add-exp-log_binary32
35×associate-*r*_binary32
Counts
4 → 181
Calls

4 calls:

23.0ms
(*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3))
17.0ms
(*.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
9.0ms
(pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2)
3.0ms
(pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)

simplify340.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
519×associate-*l*_binary32
508×associate-*r*_binary32
306×fma-def_binary32
290×*-commutative_binary32
228×fma-neg_binary32
Counts
241 → 252
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04349210
111838337
243628209
349468209

prune657.0ms (3.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New2493252
Fresh3710
Picked101
Done011
Total25311264
Error
0.0b
Counts
264 → 11
Alt Table
StatusErrorProgram
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 (*.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))))
1.6b
(*.f32 (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))))
12.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))))
0.6b
(cbrt.f32 (*.f32 (*.f32 (*.f32 (*.f32 (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2)) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2))) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2))) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (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.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
(cbrt.f32 (*.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (*.f32 (pow.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) 3) (pow.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) 3))) (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 (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))
2.9b
(cbrt.f32 (*.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 (PI.f32)))) 2) (pow.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (cbrt.f32 3) (cbrt.f32 3))) (cbrt.f32 3))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))))
0.8b
(*.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.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 10837 to 7083 computations (34.6% saved)

regimes7.8s (42.3%)

Accuracy

Total 0.4b remaining (82.5%)

Threshold costs 0.4b (82.5%)

Counts
331 → 1
Compiler

Compiled 103863 to 82129 computations (20.9% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
8×*-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
02043
13243
23643
33843
43843

end1.0ms (0%)

Compiler

Compiled 28 to 23 computations (17.9% saved)

sample4.3s (23.3%)

Algorithm
1×intervals
Results
2.0s8000×body128valid
532.0ms8000×pre128true
0.0ms6×pre128false
Compiler

Compiled 448 to 330 computations (26.3% saved)

Profiling

Loading profile data...