Details

Time bar (total: 19.6s)

analyze397.0ms (2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0.1%99.9%0
0%0.1%99.9%1
0%0.1%99.9%2
0.1%0.1%99.9%3
0.1%0.1%99.9%4
0.1%0%99.9%5
0.1%0%99.9%6
0.1%0%99.9%7
0.1%0%99.9%8
0.1%0%99.9%9
0.1%0%99.9%10
0.1%0%99.9%11
0.1%0%99.9%12
0.1%0%99.9%13
0.1%0%99.9%14
Compiler

Compiled 25 to 21 computations (16% saved)

sample41.0ms (0.2%)

Algorithm
1×intervals
Results
19.0ms256×body128valid
6.0ms256×pre128true
Compiler

Compiled 43 to 37 computations (14% saved)

simplify44.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
126×cancel-sign-sub-inv_binary32
102×distribute-rgt-in_binary32
100×sub-neg_binary32
73×distribute-lft-in_binary32
52×associate-+l-_binary32
Counts
1 → 1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01420
13320
25918
312515
418215
523015
629615
737115
850915
956015
1056615
1169315
1269915
1371215
1471115
1571115
1658515

prune8.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.9b
Counts
2 → 2
Alt Table
StatusErrorProgram
▶1.2b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
1.5b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
Compiler

Compiled 68 to 58 computations (14.7% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))
0.4b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
0.5b
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
0.9b
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))

rewrite573.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
181×add-sqr-sqrt_binary32
139×times-frac_binary32
125×*-un-lft-identity_binary32
90×log-prod_binary32
63×add-cube-cbrt_binary32
Counts
4 → 217
Calls

4 calls:

19.0ms
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
15.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
14.0ms
(/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))
11.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
Compiler

Compiled 5299 to 4684 computations (11.6% saved)

series102.0ms (0.5%)

Error
0.8b
Counts
4 → 27
Calls

4 calls:

45.0ms
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
14.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
13.0ms
(/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))
12.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
Compiler

Compiled 842 to 689 computations (18.2% saved)

simplify204.0ms (1%)

Algorithm
1×egg-herbie
Rules
331×distribute-rgt-in_binary32
266×distribute-lft-in_binary32
240×associate-/l*_binary32
230×distribute-rgt-neg-out_binary32
221×associate-*l*_binary32
Counts
244 → 221
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02656387
16986009
220835537
347785528
448875528

prune240.0ms (1.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New20813221
Fresh011
Picked101
Done000
Total20914223
Error
0.1b
Counts
223 → 14
Alt Table
StatusErrorProgram
▶1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.2b
(*.f32 (*.f32 (*.f32 (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (*.f32 3 s)) (cbrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.1b
(*.f32 (*.f32 3 s) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.2b
(*.f32 (*.f32 3 s) (*.f32 (*.f32 (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16))) -3)) (*.f32 (log.f32 (+.f32 (/.f32 u 3/4) 2/3)) (*.f32 3 s)))
1.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3))) -3)) (*.f32 (log.f32 (+.f32 1 (*.f32 (*.f32 4/3 (-.f32 u 1/4)) (+.f32 (/.f32 u 3/4) 2/3)))) (*.f32 3 s)))
1.3b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))))))
1.3b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3)))))
1.6b
(+.f32 (*.f32 s (*.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)) (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)))
3.0b
(exp.f32 (log.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.1b
(*.f32 (sqrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)) (sqrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.6b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (neg.f32 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.5b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
Compiler

Compiled 2707 to 2329 computations (14% saved)

localize63.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
0.5b
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
0.7b
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
0.9b
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))

rewrite375.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
66×add-sqr-sqrt_binary32
50×*-un-lft-identity_binary32
47×times-frac_binary32
33×log-prod_binary32
28×add-cube-cbrt_binary32
Counts
4 → 116
Calls

4 calls:

13.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
12.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
10.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
3.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
Compiler

Compiled 3777 to 3380 computations (10.5% saved)

series113.0ms (0.6%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

22.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
21.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
19.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
19.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
Compiler

Compiled 1302 to 1140 computations (12.4% saved)

simplify139.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
355×associate-*l*_binary32
315×associate-*r*_binary32
301×div-sub_binary32
269×distribute-rgt-in_binary32
246×distribute-lft-in_binary32
Counts
140 → 115
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02152474
15172319
213542233
340452197
449622197
548582197

prune267.0ms (1.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New1078115
Fresh4913
Picked101
Done000
Total11217129
Error
0.1b
Counts
129 → 17
Alt Table
StatusErrorProgram
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 u 4/3))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.2b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (neg.f32 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))))
▶1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 (-.f32 u 1/4) (*.f32 (-.f32 u 1/4) 16/9))))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3)))))
1.2b
(*.f32 (*.f32 (*.f32 (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (cbrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (*.f32 3 s)) (cbrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.4b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 1 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (log.f32 (sqrt.f32 (/.f32 1 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))))
1.1b
(*.f32 (*.f32 3 s) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16))) -3)) (*.f32 (log.f32 (+.f32 (/.f32 u 3/4) 2/3)) (*.f32 3 s)))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 (-.f32 u 1/4) (*.f32 (-.f32 u 1/4) 16/9)))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.3b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))))))
1.3b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3)))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3))) (log.f32 (+.f32 1 (*.f32 (-.f32 u 1/4) (+.f32 4/3 (*.f32 (-.f32 u 1/4) 16/9)))))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.6b
(+.f32 (*.f32 s (*.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)) (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4)))))))))
1.6b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (neg.f32 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.5b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
Compiler

Compiled 3181 to 2806 computations (11.8% saved)

localize61.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
0.7b
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
0.9b
(log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))
0.9b
(-.f32 4/3 (*.f32 u 4/3))

rewrite246.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
21×log-prod_binary32
19×*-un-lft-identity_binary32
15×add-cube-cbrt_binary32 add-sqr-sqrt_binary32
12×times-frac_binary32
10×add-exp-log_binary32
Counts
4 → 81
Calls

4 calls:

7.0ms
(log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))
5.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
3.0ms
(-.f32 4/3 (*.f32 u 4/3))
3.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
Compiler

Compiled 2420 to 2143 computations (11.4% saved)

series108.0ms (0.6%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

22.0ms
(-.f32 4/3 (*.f32 u 4/3))
19.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
19.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
18.0ms
(log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))
Compiler

Compiled 1252 to 1090 computations (12.9% saved)

simplify141.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
535×unsub-neg_binary32
352×cancel-sign-sub-inv_binary32
263×neg-mul-1_binary32
243×neg-sub0_binary32
240×distribute-rgt-neg-in_binary32
Counts
105 → 78
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01461455
12861339
27051270
320411217
440341217
549551217
649981217
748421217

prune237.0ms (1.2%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New72678
Fresh51116
Picked011
Done000
Total771895
Error
0.0b
Counts
95 → 18
Alt Table
StatusErrorProgram
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u))))) (neg.f32 (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u))))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 u 4/3))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (*.f32 (*.f32 (cbrt.f32 (log.f32 (/.f32 3/4 (-.f32 1 u)))) (cbrt.f32 (log.f32 (/.f32 3/4 (-.f32 1 u))))) (cbrt.f32 (log.f32 (/.f32 3/4 (-.f32 1 u)))))))
✓1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 (-.f32 u 1/4) (*.f32 (-.f32 u 1/4) 16/9))))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3)))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (log.f32 3/4) (neg.f32 (log.f32 (-.f32 1 u))))))
1.1b
(*.f32 (*.f32 3 s) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16))) -3)) (*.f32 (log.f32 (+.f32 (/.f32 u 3/4) 2/3)) (*.f32 3 s)))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (*.f32 (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))) -2) (neg.f32 (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u))))))))
1.3b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))))))
1.3b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3)))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3))) (log.f32 (+.f32 1 (*.f32 (-.f32 u 1/4) (+.f32 4/3 (*.f32 (-.f32 u 1/4) 16/9)))))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.6b
(+.f32 (*.f32 s (*.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)) (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
▶0.9b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 4/3 u))))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 16/9 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4))))) (log.f32 (+.f32 (*.f32 4/3 u) 2/3))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))))
1.6b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (neg.f32 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.5b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
Compiler

Compiled 2812 to 2451 computations (12.8% saved)

localize65.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
0.7b
(log.f32 (-.f32 4/3 (*.f32 4/3 u)))
0.7b
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
0.9b
(-.f32 4/3 (*.f32 4/3 u))

rewrite187.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
8×add-log-exp_binary32 add-cube-cbrt_binary32 add-sqr-sqrt_binary32 *-un-lft-identity_binary32 cancel-sign-sub-inv_binary32 associate--r+_binary32
6×pow1_binary32 add-exp-log_binary32 log-prod_binary32
4×add-cbrt-cube_binary32 flip3--_binary32 sub-neg_binary32 flip--_binary32 log-div_binary32 distribute-rgt-in_binary32 distribute-lft-in_binary32
2×diff-log_binary32 log-pow_binary32 rem-log-exp_binary32
Counts
4 → 60
Calls

4 calls:

4.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
3.0ms
(-.f32 4/3 (*.f32 4/3 u))
3.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
3.0ms
(log.f32 (-.f32 4/3 (*.f32 4/3 u)))
Compiler

Compiled 1751 to 1540 computations (12.1% saved)

series106.0ms (0.5%)

Error
0.0b
Counts
4 → 24
Calls

4 calls:

21.0ms
(-.f32 4/3 (*.f32 4/3 u))
19.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
18.0ms
(log.f32 (-.f32 4/3 (*.f32 4/3 u)))
17.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
Compiler

Compiled 1210 to 1050 computations (13.2% saved)

simplify104.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
502×unsub-neg_binary32
349×cancel-sign-sub-inv_binary32
340×sub-neg_binary32
289×neg-mul-1_binary32
231×distribute-rgt-neg-in_binary32
Counts
84 → 55
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01141142
12241024
2584946
31802940
43637940
54682940
64837940

prune174.0ms (0.9%)

Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New53255
Fresh21416
Picked011
Done011
Total551873
Error
0.0b
Counts
73 → 18
Alt Table
StatusErrorProgram
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u))))) (neg.f32 (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u))))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 u 4/3))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (*.f32 (*.f32 (cbrt.f32 (log.f32 (/.f32 3/4 (-.f32 1 u)))) (cbrt.f32 (log.f32 (/.f32 3/4 (-.f32 1 u))))) (cbrt.f32 (log.f32 (/.f32 3/4 (-.f32 1 u)))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 (-.f32 u 1/4) (*.f32 (-.f32 u 1/4) 16/9))))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3)))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (log.f32 3/4) (neg.f32 (log.f32 (-.f32 1 u))))))
1.1b
(*.f32 (*.f32 3 s) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u))))) (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))))
1.0b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 16/9 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4))))) (log.f32 (+.f32 (*.f32 4/3 u) 2/3))))) (*.f32 3 s)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 4/3 u))))))
1.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16))) -3)) (*.f32 (log.f32 (+.f32 (/.f32 u 3/4) 2/3)) (*.f32 3 s)))
1.3b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))))))
1.3b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3)))))
1.6b
(+.f32 (*.f32 s (*.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)) (*.f32 s (*.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))) -3)))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (neg.f32 (log.f32 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
0.9b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 4/3 u))))))
1.1b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 16/9 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4))))) (log.f32 (+.f32 (*.f32 4/3 u) 2/3))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 4/3 (*.f32 u 4/3))))))
1.6b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) (neg.f32 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.5b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
Compiler

Compiled 1961 to 1703 computations (13.2% saved)

regimes13.3s (67.8%)

Accuracy

Total 0.8b remaining (85.6%)

Threshold costs 0.8b (85.6%)

Compiler

Compiled 129268 to 115219 computations (10.9% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
11×*-commutative_binary32
9×sub-neg_binary32 +-commutative_binary32
6×neg-mul-1_binary32 neg-sub0_binary32
4×cancel-sign-sub-inv_binary32 distribute-rgt-neg-in_binary32 distribute-lft-neg-in_binary32
2×distribute-neg-in_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02137
14637
26337
37637
48337
58537
68137

end2.0ms (0%)

Compiler

Compiled 25 to 22 computations (12% saved)

sample2.3s (11.7%)

Algorithm
1×intervals
Results
534.0ms8000×body128valid
177.0ms8000×pre128true
Compiler

Compiled 576 to 504 computations (12.5% saved)

Profiling

Loading profile data...