Details

Time bar (total: 21.5s)

analyze377.0ms (1.8%)

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 31 to 25 computations (19.4% saved)

sample56.0ms (0.3%)

Algorithm
1×intervals
Results
27.0ms256×body128valid
8.0ms256×pre128true
0.0ms1×pre128false
Compiler

Compiled 50 to 42 computations (16% saved)

simplify17.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
23×sub-neg_binary32
17×cancel-sign-sub-inv_binary32
11×*-commutative_binary32
9×distribute-rgt-neg-in_binary32
8×associate--l+_binary32 associate--r+_binary32 associate-+l-_binary32 +-commutative_binary32
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01422
12622
23722
34422
45122
56022
67422
79722
810822
911022
1012722
1112322
1213422
1313722
1413822
1511622

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
13.2b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶13.2b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
Compiler

Compiled 32 to 28 computations (12.5% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(sin.f32 (*.f32 (*.f32 2 PI.f32) u2))
0.3b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
0.3b
(*.f32 (*.f32 2 PI.f32) u2)
13.9b
(log.f32 (-.f32 1 u1))

rewrite137.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
9.2b
Rules
18×add-sqr-sqrt_binary32
16×associate-*l*_binary32
14×pow1_binary32 *-un-lft-identity_binary32
13×sqrt-prod_binary32
12×add-exp-log_binary32
Counts
4 → 73
Calls

4 calls:

9.0ms
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
5.0ms
(*.f32 (*.f32 2 PI.f32) u2)
4.0ms
(log.f32 (-.f32 1 u1))
2.0ms
(sin.f32 (*.f32 (*.f32 2 PI.f32) u2))
Compiler

Compiled 1307 to 1025 computations (21.6% saved)

series128.0ms (0.6%)

Error
0.5b
Counts
4 → 24
Calls

4 calls:

51.0ms
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
17.0ms
(log.f32 (-.f32 1 u1))
16.0ms
(sin.f32 (*.f32 (*.f32 2 PI.f32) u2))
11.0ms
(*.f32 (*.f32 2 PI.f32) u2)
Compiler

Compiled 1256 to 1030 computations (18% saved)

simplify110.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
524×sub-neg_binary32
468×*-commutative_binary32
333×distribute-rgt-neg-in_binary32
306×distribute-lft-neg-in_binary32
268×unsub-neg_binary32
Counts
97 → 71
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01981991
14441840
213411790
323741744
442061744
550241744

prune135.0ms (0.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New571471
Fresh000
Picked101
Done000
Total581472
Error
0.4b
Counts
72 → 14
Alt Table
StatusErrorProgram
14.3b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (*.f32 u1 u1))))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.3b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log.f32 (-.f32 1 u1))) (cbrt.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (log.f32 (-.f32 1 u1)))))))
14.2b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.2b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
18.1b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (log.f32 (exp.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
▶2.1b
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
2.8b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
4.1b
(*.f32 (sqrt.f32 (neg.f32 (*.f32 u1 (+.f32 -1 (*.f32 u1 -1/2))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
20.6b
(log.f32 (exp.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
13.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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 2 PI.f32) u2))))
14.1b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
7.7b
(*.f32 (sqrt.f32 (neg.f32 (neg.f32 u1))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.9b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (*.f32 (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32)))) (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
13.2b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) 3)))
Compiler

Compiled 1694 to 1310 computations (22.7% saved)

localize65.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(*.f32 u1 1/3)
0.3b
(*.f32 (*.f32 2 PI.f32) u2)
0.4b
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
0.4b
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))

rewrite263.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
20×add-sqr-sqrt_binary32
18×pow1_binary32 add-exp-log_binary32 add-cbrt-cube_binary32 associate-*l*_binary32
13×add-cube-cbrt_binary32 *-un-lft-identity_binary32
12×associate-*r*_binary32
11×sqrt-prod_binary32
Counts
4 → 92
Calls

4 calls:

17.0ms
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
8.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
5.0ms
(*.f32 (*.f32 2 PI.f32) u2)
4.0ms
(*.f32 u1 1/3)
Compiler

Compiled 3076 to 2162 computations (29.7% saved)

series184.0ms (0.9%)

Error
0.3b
Counts
4 → 27
Calls

4 calls:

89.0ms
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
25.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
17.0ms
(*.f32 (*.f32 2 PI.f32) u2)
14.0ms
(*.f32 u1 1/3)
Compiler

Compiled 1892 to 1489 computations (21.3% saved)

simplify149.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
378×associate-*l*_binary32
282×associate-*r*_binary32
259×distribute-rgt-in_binary32
255×cancel-sign-sub-inv_binary32
248×distribute-lft-in_binary32
Counts
119 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02483344
15912863
219732698
344672689
449872689
548982689

prune235.0ms (1.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New82890
Fresh31013
Picked101
Done000
Total8618104
Error
0.1b
Counts
104 → 18
Alt Table
StatusErrorProgram
14.3b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (*.f32 u1 u1))))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.3b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log.f32 (-.f32 1 u1))) (cbrt.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (log.f32 (-.f32 1 u1)))))))
2.5b
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32))) (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32)))) (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
14.2b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.2b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
18.1b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (log.f32 (exp.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
3.2b
(*.f32 (*.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))) (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 PI.f32) u2))))
2.8b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
2.5b
(*.f32 (*.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))) (*.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 2 PI.f32) u2))))
▶2.2b
(/.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (-.f32 (*.f32 (pow.f32 u1 12) 1/64) (pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3)))) (sqrt.f32 (+.f32 (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1)) (-.f32 (*.f32 (*.f32 (pow.f32 u1 4) -1/4) (*.f32 (pow.f32 u1 4) -1/4)) (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))))
20.6b
(log.f32 (exp.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
13.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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 2 PI.f32) u2))))
14.1b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
2.2b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
2.3b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
13.2b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) 3)))
2.4b
(*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (cbrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (cbrt.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
2.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))) (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4)))))))) (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
Compiler

Compiled 3538 to 2567 computations (27.4% saved)

localize129.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.4b
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
0.4b
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
0.4b
(*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))
0.6b
(pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3)

rewrite703.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×pow1_binary32
19×add-sqr-sqrt_binary32
17×add-exp-log_binary32 add-cbrt-cube_binary32
16×distribute-rgt-in_binary32 distribute-lft-in_binary32
15×add-cube-cbrt_binary32 *-un-lft-identity_binary32
Counts
4 → 124
Calls

4 calls:

19.0ms
(*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))
9.0ms
(pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3)
8.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
8.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
Compiler

Compiled 10765 to 7282 computations (32.4% saved)

series306.0ms (1.4%)

Error
0.1b
Counts
4 → 33
Calls

4 calls:

66.0ms
(pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3)
60.0ms
(*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))
52.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
31.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
Compiler

Compiled 4839 to 3629 computations (25% saved)

simplify187.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
352×associate-*l*_binary32
349×exp-prod_binary32
310×associate-*r*_binary32
212×associate-+l+_binary32
200×log-prod_binary32
Counts
157 → 133
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02514294
15743795
223403679
344743679
449863679
549043679

prune454.0ms (2.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New1312133
Fresh01717
Picked101
Done000
Total13219151
Error
0.0b
Counts
151 → 19
Alt Table
StatusErrorProgram
14.3b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (*.f32 u1 u1))))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.3b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log.f32 (-.f32 1 u1))) (cbrt.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (log.f32 (-.f32 1 u1)))))))
2.5b
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32))) (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32)))) (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
14.2b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.2b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
18.1b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (log.f32 (exp.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
3.2b
(*.f32 (*.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))) (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 PI.f32) u2))))
4.9b
(/.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (-.f32 (*.f32 (pow.f32 u1 12) 1/64) (*.f32 (pow.f32 u1 3) (-.f32 -1 (*.f32 3/2 u1)))))) (sqrt.f32 (+.f32 (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1)) (-.f32 (*.f32 (*.f32 (pow.f32 u1 4) -1/4) (*.f32 (pow.f32 u1 4) -1/4)) (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))))
2.8b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
2.5b
(*.f32 (*.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))) (*.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 2 PI.f32) u2))))
20.6b
(log.f32 (exp.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
13.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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 2 PI.f32) u2))))
14.1b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
▶2.2b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
2.3b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
13.2b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) 3)))
2.4b
(*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (cbrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (cbrt.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
2.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))) (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4)))))))) (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
2.4b
(/.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (-.f32 (*.f32 (pow.f32 u1 12) 1/64) (pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3)))) (sqrt.f32 (+.f32 (*.f32 (pow.f32 (cbrt.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1)) 5) (cbrt.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))) (-.f32 (*.f32 (*.f32 (pow.f32 u1 4) -1/4) (*.f32 (pow.f32 u1 4) -1/4)) (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))))
Compiler

Compiled 7622 to 5492 computations (27.9% saved)

localize107.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.4b
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
0.4b
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
0.4b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
0.5b
(*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))

rewrite923.0ms (4.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
66×cbrt-div_binary32
42×sqrt-div_binary32
33×flip3-+_binary32 flip-+_binary32
32×frac-times_binary32 associate-*r/_binary32
26×pow1_binary32
Counts
4 → 143
Calls

4 calls:

47.0ms
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
30.0ms
(*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))
9.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
8.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
Compiler

Compiled 13729 to 9633 computations (29.8% saved)

series529.0ms (2.5%)

Error
0.0b
Counts
4 → 26
Calls

4 calls:

318.0ms
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
46.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
46.0ms
(*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3)))
45.0ms
(*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))
Compiler

Compiled 4242 to 3481 computations (17.9% saved)

simplify243.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
418×associate-*l*_binary32 associate-*r*_binary32
328×distribute-rgt-in_binary32
313×distribute-lft-in_binary32
284×*-commutative_binary32
219×cancel-sign-sub-inv_binary32
Counts
169 → 150
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
035712244
184011106
2249110021
3513010021

prune526.0ms (2.4%)

Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New1482150
Fresh01818
Picked011
Done000
Total14821169
Error
0.0b
Counts
169 → 21
Alt Table
StatusErrorProgram
14.3b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (*.f32 u1 u1))))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.3b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (log.f32 (-.f32 1 u1))) (cbrt.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (log.f32 (-.f32 1 u1)))))))
2.5b
(*.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))) (sin.f32 (*.f32 (*.f32 (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32))) (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32)))) (cbrt.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
14.2b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
13.2b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
18.1b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (log.f32 (exp.f32 (*.f32 2 (*.f32 u2 PI.f32))))))
3.2b
(*.f32 (*.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))) (sqrt.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))))) (sqrt.f32 (sin.f32 (*.f32 (*.f32 2 PI.f32) u2))))
2.2b
(/.f32 (*.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3) (*.f32 (pow.f32 u1 12) -1/64)))))) (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 -1/4 (pow.f32 u1 4)))) (cbrt.f32 (+.f32 (pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3) (*.f32 (pow.f32 u1 12) -1/64)))))) (cbrt.f32 (+.f32 (*.f32 (pow.f32 u1 8) 1/16) (*.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (+.f32 (*.f32 1/4 (pow.f32 u1 4)) (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1))))))
4.9b
(/.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (-.f32 (*.f32 (pow.f32 u1 12) 1/64) (*.f32 (pow.f32 u1 3) (-.f32 -1 (*.f32 3/2 u1)))))) (sqrt.f32 (+.f32 (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1)) (-.f32 (*.f32 (*.f32 (pow.f32 u1 4) -1/4) (*.f32 (pow.f32 u1 4) -1/4)) (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))))
2.8b
(*.f32 (sqrt.f32 (neg.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))) (sin.f32 (*.f32 (*.f32 2 PI.f32) u2)))
2.5b
(*.f32 (*.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))) (*.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 2 PI.f32) u2))))
20.6b
(log.f32 (exp.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
13.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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 2 PI.f32) u2))))
14.1b
(exp.f32 (log.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
2.2b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
2.3b
(*.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
13.2b
(*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) 3)))
2.4b
(*.f32 (*.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (cbrt.f32 (sqrt.f32 (neg.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (cbrt.f32 (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
2.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))) (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4)))))))) (cbrt.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (+.f32 (*.f32 (*.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))) (+.f32 u1 (*.f32 1/4 (pow.f32 u1 4))))))))
2.4b
(/.f32 (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (-.f32 (*.f32 (pow.f32 u1 12) 1/64) (pow.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) 3)))) (sqrt.f32 (+.f32 (*.f32 (pow.f32 (cbrt.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1)) 5) (cbrt.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1))) (-.f32 (*.f32 (*.f32 (pow.f32 u1 4) -1/4) (*.f32 (pow.f32 u1 4) -1/4)) (*.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))))))
6.7b
(*.f32 (sqrt.f32 (*.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (*.f32 u1 u1) (-.f32 -1/2 (*.f32 u1 1/3))) u1) (*.f32 (pow.f32 u1 4) -1/4))) (cbrt.f32 (+.f32 (-.f32 (*.f32 (pow.f32 u1 3) -1/3) u1) (*.f32 (pow.f32 u1 4) -1/4))))) (*.f32 (sin.f32 (*.f32 2 (*.f32 u2 PI.f32))) (sqrt.f32 (neg.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 u1 (*.f32 u1 (-.f32 -1/2 (*.f32 u1 1/3)))) u1) (*.f32 (pow.f32 u1 4) -1/4)))))))
Compiler

Compiled 9037 to 6622 computations (26.7% saved)

regimes12.0s (55.8%)

Accuracy

Total 0.5b remaining (80.3%)

Threshold costs 0.5b (80.3%)

Compiler

Compiled 152628 to 117983 computations (22.7% saved)

bsearch17.0ms (0.1%)

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify10.0ms (0%)

Algorithm
1×egg-herbie
Rules
41×distribute-rgt-neg-in_binary32
31×cancel-sign-sub-inv_binary32
28×distribute-lft-neg-in_binary32
23×distribute-neg-in_binary32
22×neg-mul-1_binary32 neg-sub0_binary32
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
038105
166105
298103
3135103
4166103
5199103
6232103
7252103
8256103
9247103

end7.0ms (0%)

Compiler

Compiled 66 to 50 computations (24.2% saved)

sample3.5s (16.1%)

Algorithm
1×intervals
Results
884.0ms8000×body128valid
265.0ms8000×pre128true
0.0ms5×pre128false
Compiler

Compiled 1078 to 835 computations (22.5% saved)

Profiling

Loading profile data...