Details

Time bar (total: 18.6s)

analyze401.0ms (2.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)

sample51.0ms (0.3%)

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

Compiled 43 to 37 computations (14% saved)

simplify519.0ms (2.8%)

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

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 68 to 58 computations (14.7% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(/.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.6b
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
1.0b
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))

rewrite667.0ms (3.6%)

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:

16.0ms
(*.f32 (*.f32 3 s) (log.f32 (/.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))))
11.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
10.0ms
(/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))
Compiler

Compiled 5299 to 4684 computations (11.6% saved)

series91.0ms (0.5%)

Error
1.0b
Counts
4 → 27
Calls

4 calls:

38.0ms
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
12.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
11.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
11.0ms
(/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))
Compiler

Compiled 842 to 689 computations (18.2% saved)

simplify204.0ms (1.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 → 218
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02666381
17026009
220885537
347855528
448945528

prune308.0ms (1.7%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New19820218
Fresh011
Picked101
Done000
Total19921220
Error
0.2b
Counts
220 → 21
Alt Table
StatusErrorProgram
2.2b
(+.f32 (*.f32 (*.f32 s (log.f32 (cbrt.f32 (/.f32 1 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) 6) (*.f32 (log.f32 (cbrt.f32 (/.f32 1 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)))
1.8b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
1.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)) (cbrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3))) (cbrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.5b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3))))
3.0b
(exp.f32 (log.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.7b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4))))) (neg.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))))))
1.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) (-.f32 1 (sqrt.f32 (/.f32 (-.f32 u 1/4) 3/4))))))
1.5b
(*.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.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) (sqrt.f32 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
▶1.2b
(*.f32 3 (*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))
1.6b
(+.f32 (*.f32 s (*.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) -3)) (*.f32 s (*.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.8b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (log.f32 (exp.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3)))) (log.f32 (+.f32 1 (*.f32 (*.f32 4/3 (-.f32 u 1/4)) (+.f32 (/.f32 u 3/4) 2/3))))))
1.6b
(*.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.2b
(*.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.4b
(*.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.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (/.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)) (+.f32 (/.f32 u 3/4) 2/3)))))
1.4b
(+.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 s -3) (log.f32 (-.f32 4/3 (*.f32 u 4/3))))
1.3b
(*.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.9b
(+.f32 (*.f32 s (*.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) -3)) (*.f32 s (*.f32 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
Compiler

Compiled 3018 to 2600 computations (13.9% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(*.f32 3 (*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))
0.3b
(*.f32 4/3 (-.f32 u 1/4))
0.6b
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
0.8b
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))

rewrite207.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
20×distribute-lft-in_binary32
20×distribute-rgt-in_binary32
20×add-sqr-sqrt_binary32
18×*-un-lft-identity_binary32
16×add-cube-cbrt_binary32
Counts
4 → 95
Calls

4 calls:

8.0ms
(*.f32 4/3 (-.f32 u 1/4))
6.0ms
(*.f32 3 (*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))
3.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
2.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
Compiler

Compiled 1961 to 1703 computations (13.2% saved)

series86.0ms (0.5%)

Error
0.2b
Counts
4 → 27
Calls

4 calls:

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

Compiled 803 to 660 computations (17.8% saved)

simplify107.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
607×unsub-neg_binary32
413×*-commutative_binary32
378×neg-mul-1_binary32
374×neg-sub0_binary32
274×cancel-sign-sub-inv_binary32
Counts
122 → 94
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02242056
14761775
212941599
332141597
440581597
549621597

prune210.0ms (1.1%)

Pruning

23 alts after pruning (22 fresh and 1 done)

PrunedKeptTotal
New89594
Fresh31720
Picked011
Done000
Total9223115
Error
0.2b
Counts
115 → 23
Alt Table
StatusErrorProgram
2.2b
(+.f32 (*.f32 (*.f32 s (log.f32 (cbrt.f32 (/.f32 1 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))))) 6) (*.f32 (log.f32 (cbrt.f32 (/.f32 1 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (*.f32 3 s)))
1.8b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
1.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)) (cbrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3))) (cbrt.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.5b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3))))
3.0b
(exp.f32 (log.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.7b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4))))) (neg.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))))))
1.5b
(*.f32 3 (*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 (-.f32 u 1/4) (*.f32 (-.f32 u 1/4) 16/9)))) (log.f32 (+.f32 (*.f32 4/3 u) 2/3))))))
1.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) (sqrt.f32 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
✓1.2b
(*.f32 3 (*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))
1.3b
(*.f32 (*.f32 s -3) (log.f32 (-.f32 4/3 (*.f32 u 4/3))))
1.9b
(+.f32 (*.f32 3 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))) -2))) (*.f32 -3 (*.f32 s (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))))))
1.3b
(*.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.4b
(*.f32 (sqrt.f32 (*.f32 -3 (*.f32 s (log.f32 (-.f32 4/3 (*.f32 4/3 u)))))) (sqrt.f32 (*.f32 -3 (*.f32 s (log.f32 (-.f32 4/3 (*.f32 4/3 u)))))))
1.5b
(*.f32 3 (*.f32 s (neg.f32 (log.f32 (-.f32 (+.f32 1 (*.f32 u -4/3)) (*.f32 (neg.f32 1/4) 4/3))))))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3)))) (log.f32 (+.f32 1 (*.f32 (*.f32 4/3 (-.f32 u 1/4)) (+.f32 (/.f32 u 3/4) 2/3))))))
1.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) (-.f32 1 (sqrt.f32 (/.f32 (-.f32 u 1/4) 3/4))))))
1.6b
(*.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.2b
(*.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.4b
(*.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.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (/.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)) (+.f32 (/.f32 u 3/4) 2/3)))))
1.4b
(+.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.6b
(+.f32 (*.f32 s (*.f32 (log.f32 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) -3)) (*.f32 s (*.f32 (log.f32 (-.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.7b
(*.f32 3 (*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u)))) (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u))))))))
Compiler

Compiled 2281 to 1946 computations (14.7% saved)

localize72.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
0.6b
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
0.8b
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
1.0b
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))

rewrite365.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.1b
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:

11.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
8.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
4.0ms
(-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))
2.0ms
(log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))
Compiler

Compiled 3777 to 3380 computations (10.5% saved)

series97.0ms (0.5%)

Error
0.2b
Counts
4 → 24
Calls

4 calls:

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

Compiled 1302 to 1140 computations (12.4% saved)

simplify128.0ms (0.7%)

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

Useful iterations: 3 (0.0ms)

IterNodesCost
02142430
15182281
213572233
340422197
449632197
548672197

prune302.0ms (1.6%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New9911110
Fresh91221
Picked101
Done101
Total11023133
Error
0.1b
Counts
133 → 23
Alt Table
StatusErrorProgram
1.6b
(*.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.8b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 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.7b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4))))) (neg.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))))))
1.4b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (log.f32 (cbrt.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 (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.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (+.f32 1 (sqrt.f32 (*.f32 4/3 (-.f32 u 1/4))))) (-.f32 1 (sqrt.f32 (/.f32 (-.f32 u 1/4) 3/4))))))
1.2b
(*.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.2b
(*.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.6b
(*.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.3b
(*.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.3b
(*.f32 (*.f32 s -3) (log.f32 (-.f32 4/3 (*.f32 u 4/3))))
1.3b
(*.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 (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))))))))
1.9b
(+.f32 (*.f32 3 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))) -2))) (*.f32 -3 (*.f32 s (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))))))
1.6b
(*.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 (log.f32 (exp.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))))
1.4b
(*.f32 (sqrt.f32 (*.f32 -3 (*.f32 s (log.f32 (-.f32 4/3 (*.f32 4/3 u)))))) (sqrt.f32 (*.f32 -3 (*.f32 s (log.f32 (-.f32 4/3 (*.f32 4/3 u)))))))
1.2b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 (+.f32 1 (*.f32 u -4/3)) (*.f32 (neg.f32 1/4) 4/3))))) (*.f32 3 s)) (sqrt.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 (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.5b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3))))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3)))) (log.f32 (+.f32 1 (*.f32 (*.f32 4/3 (-.f32 u 1/4)) (+.f32 (/.f32 u 3/4) 2/3))))))
1.4b
(*.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.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) (sqrt.f32 (-.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 (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)))))
Compiler

Compiled 3363 to 2966 computations (11.8% saved)

localize146.0ms (0.8%)

Local error

Found 4 expressions with local error:

0.6b
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
0.8b
(log.f32 (-.f32 4/3 (*.f32 u 4/3)))
1.0b
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
1.1b
(-.f32 4/3 (*.f32 u 4/3))

rewrite317.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
64×add-sqr-sqrt_binary32
50×*-un-lft-identity_binary32
47×times-frac_binary32
34×log-prod_binary32
26×add-cube-cbrt_binary32
Counts
4 → 110
Calls

4 calls:

10.0ms
(log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))
10.0ms
(-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))
2.0ms
(-.f32 4/3 (*.f32 u 4/3))
2.0ms
(log.f32 (-.f32 4/3 (*.f32 u 4/3)))
Compiler

Compiled 3334 to 2955 computations (11.4% saved)

series97.0ms (0.5%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

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

Compiled 1250 to 1088 computations (13% saved)

simplify128.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
301×div-sub_binary32
298×associate-*l*_binary32
296×associate-*r*_binary32
236×associate-*l/_binary32
230×associate-/l*_binary32
Counts
134 → 104
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02182298
15152164
213361944
340041908
449251908

prune187.0ms (1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New995104
Fresh61622
Picked101
Done000
Total10621127
Error
0.1b
Counts
127 → 21
Alt Table
StatusErrorProgram
1.5b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3))))
1.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 u 4/3))))) (*.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)))))))))
3.0b
(exp.f32 (log.f32 (*.f32 (*.f32 s (log.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) -3)))
1.7b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (+.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4))))) (neg.f32 (log.f32 (-.f32 1 (/.f32 (sqrt.f32 (-.f32 u 1/4)) (sqrt.f32 3/4)))))))
1.4b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))) (log.f32 (cbrt.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 (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.6b
(*.f32 (*.f32 3 s) (log.f32 (/.f32 (/.f32 1 (sqrt.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4))))) (sqrt.f32 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u)))) (log.f32 (sqrt.f32 (-.f32 4/3 (*.f32 4/3 u))))))) (*.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 4/3 (*.f32 u 4/3))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (-.f32 1 (/.f32 (*.f32 (-.f32 u 1/4) (-.f32 u 1/4)) 9/16)))) (log.f32 (+.f32 (/.f32 u 3/4) 2/3)))))
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 (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 (sqrt.f32 (neg.f32 (log.f32 (-.f32 4/3 (*.f32 u 4/3))))) (*.f32 3 s)) (sqrt.f32 (+.f32 (neg.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3)))) (log.f32 (+.f32 1 (*.f32 (*.f32 4/3 (-.f32 u 1/4)) (+.f32 (/.f32 u 3/4) 2/3)))))))
1.3b
(*.f32 (*.f32 s -3) (log.f32 (-.f32 4/3 (*.f32 u 4/3))))
1.9b
(+.f32 (*.f32 3 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))) -2))) (*.f32 -3 (*.f32 s (log.f32 (cbrt.f32 (-.f32 4/3 (*.f32 4/3 u)))))))
1.2b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 (+.f32 1 (*.f32 u -4/3)) (*.f32 (neg.f32 1/4) 4/3))))) (*.f32 3 s)) (sqrt.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 (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.8b
(*.f32 s (*.f32 (log.f32 (-.f32 4/3 (/.f32 u 3/4))) -3))
1.4b
(*.f32 (*.f32 3 s) (+.f32 (neg.f32 (log.f32 (-.f32 1 (pow.f32 (*.f32 4/3 (-.f32 u 1/4)) 3)))) (log.f32 (+.f32 1 (*.f32 (*.f32 4/3 (-.f32 u 1/4)) (+.f32 (/.f32 u 3/4) 2/3))))))
1.2b
(*.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.6b
(*.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.3b
(*.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (/.f32 (-.f32 64/27 (*.f32 (pow.f32 u 3) 64/27)) (+.f32 16/9 (*.f32 u (+.f32 16/9 (*.f32 u 16/9)))))))) (*.f32 3 s)) (sqrt.f32 (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))))
1.6b
(*.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 (log.f32 (exp.f32 (-.f32 1 (*.f32 4/3 (-.f32 u 1/4)))))))))
Compiler

Compiled 2352 to 2042 computations (13.2% saved)

regimes11.2s (59.9%)

Accuracy

Total 0.8b remaining (87.6%)

Threshold costs 0.8b (87.6%)

Compiler

Compiled 116761 to 103852 computations (11.1% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
10×*-commutative_binary32
9×+-commutative_binary32
9×sub-neg_binary32
6×neg-mul-1_binary32
5×neg-sub0_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02337
14337
26237
37537
48137
58237
67837

end3.0ms (0%)

Compiler

Compiled 25 to 22 computations (12% saved)

sample2.7s (14.5%)

Algorithm
1×intervals
Results
688.0ms8000×body128valid
191.0ms8000×pre128true
Compiler

Compiled 691 to 607 computations (12.2% saved)

Profiling

Loading profile data...