Details

Time bar (total: 19.6s)

analyze454.0ms (2.3%)

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)

sample64.0ms (0.3%)

Algorithm
1×intervals
Results
35.0ms256×body128valid
9.0ms256×pre128true
Compiler

Compiled 58 to 48 computations (17.2% saved)

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

prune5.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
13.1b
(*.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)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series207.0ms (1.1%)

Counts
4 → 52
Calls

4 calls:

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

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

simplify125.0ms (0.6%)

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

prune192.0ms (1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New15014164
Fresh011
Picked101
Done000
Total15115166
Error
0.0b
Counts
166 → 15
Alt Table
StatusErrorProgram
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 (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))))
19.7b
(log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.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)))
5.6b
(*.f32 2 (*.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
0.6b
(*.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)))
2.8b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
▶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))))
1.6b
(-.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))))))
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))))
13.1b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (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)))))
6.2b
(*.f32 (log.f32 (exp.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))))
Compiler

Compiled 5190 to 3191 computations (38.5% saved)

localize58.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.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)))

series201.0ms (1%)

Counts
4 → 44
Calls

4 calls:

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

rewrite123.0ms (0.6%)

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))
8.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)))))
7.0ms
(*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))
5.0ms
(*.f32 (*.f32 u2 u2) u2)

simplify223.0ms (1.1%)

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

prune507.0ms (2.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New2225227
Fresh41014
Picked101
Done000
Total22715242
Error
0.0b
Counts
242 → 15
Alt Table
StatusErrorProgram
3.2b
(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))))))))
19.7b
(log.f32 (exp.f32 (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.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)))
▶0.6b
(*.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)))
2.8b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2))) (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))))
1.6b
(-.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))))))
0.8b
(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (exp.f32 (log.f32 (*.f32 (*.f32 2 (PI.f32)) (*.f32 2 (PI.f32))))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))
6.2b
(*.f32 (log.f32 (exp.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 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.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.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 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) (cbrt.f32 (sin.f32 (cbrt.f32 (*.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))))) (cbrt.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))))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.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)))))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.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)))))))
13.1b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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))))
Compiler

Compiled 8926 to 5052 computations (43.4% saved)

localize109.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series1.0s (5.2%)

Counts
3 → 48
Calls

3 calls:

822.0ms
(*.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)))
162.0ms
(*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))
34.0ms
(cbrt.f32 (log1p.f32 (neg.f32 u1)))

rewrite57.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary32
22×associate-*r*_binary32
21×sqrt-prod_binary32
17×cbrt-prod_binary32
14×*-un-lft-identity_binary32
Counts
3 → 87
Calls

3 calls:

22.0ms
(*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))
19.0ms
(*.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.0ms
(cbrt.f32 (log1p.f32 (neg.f32 u1)))

simplify340.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
483×fma-def_binary32
425×times-frac_binary32
359×associate-*r/_binary32
353×associate-/r*_binary32
287×associate-/l*_binary32
Counts
135 → 211
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
06049599
117998597
249508597

prune784.0ms (4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2735278
Fresh7714
Picked101
Done000
Total28112293
Error
0.0b
Counts
293 → 12
Alt Table
StatusErrorProgram
0.7b
(*.f32 (fabs.f32 (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.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))))
3.2b
(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))))))))
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)))
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 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.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)))))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.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.0b
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))
1.6b
(-.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))))))
1.6b
(*.f32 (*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.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))))
2.8b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
6.2b
(*.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
▶0.7b
(*.f32 (*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (cbrt.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
Compiler

Compiled 15432 to 9412 computations (39% saved)

localize156.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series2.1s (10.9%)

Counts
4 → 60
Calls

4 calls:

1.6s
(*.f32 (*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (cbrt.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
324.0ms
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (cbrt.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))
111.0ms
(*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))
60.0ms
(*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))

rewrite117.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
65×add-sqr-sqrt_binary32
52×cbrt-prod_binary32
41×associate-*r*_binary32
36×sqrt-prod_binary32
27×pow1_binary32
Counts
4 → 157
Calls

4 calls:

28.0ms
(*.f32 (*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (cbrt.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
27.0ms
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (cbrt.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))
16.0ms
(*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))
10.0ms
(*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))

simplify577.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
681×times-frac_binary32
462×*-commutative_binary32
222×associate-*r*_binary32
185×+-commutative_binary32
177×fma-def_binary32
Counts
217 → 338
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0107519936
1339417195
2505417195

prune1.1s (5.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New3380338
Fresh01111
Picked011
Done000
Total33812350
Error
0.0b
Counts
350 → 12
Alt Table
StatusErrorProgram
0.7b
(*.f32 (fabs.f32 (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.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))))
3.2b
(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))))))))
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)))
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 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
1.7b
(*.f32 (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.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)))))) (*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.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.0b
(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))
1.6b
(-.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))))))
1.6b
(*.f32 (*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.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))))
2.8b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
6.2b
(*.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
✓0.7b
(*.f32 (*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cbrt.f32 (*.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (cbrt.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
Compiler

Compiled 26854 to 15471 computations (42.4% saved)

regimes7.9s (40.5%)

Accuracy

Total 0.4b remaining (80.5%)

Threshold costs 0.4b (80.5%)

Counts
300 → 1
Compiler

Compiled 93268 to 69306 computations (25.7% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Rules
10×*-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
02368
13768
24168
34368
44368

end2.0ms (0%)

Compiler

Compiled 41 to 31 computations (24.4% saved)

sample3.0s (15.5%)

Algorithm
1×intervals
Results
1.6s8000×body128valid
392.0ms8000×pre128true
0.0ms7×pre128false
Compiler

Compiled 434 to 313 computations (27.9% saved)

Profiling

Loading profile data...