Details

Time bar (total: 9.4s)

analyze640.0ms (6.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%1.5%98.5%0
0%1.5%98.5%1
0%1.5%98.5%2
0.8%0.8%98.5%3
0.8%0.8%98.5%4
1.2%0.4%98.5%5
1.2%0.4%98.5%6
1.4%0.2%98.5%7
1.4%0.2%98.5%8
1.4%0.1%98.5%9
1.4%0.1%98.5%10
1.5%0%98.5%11
1.5%0%98.5%12
1.5%0%98.5%13
1.5%0%98.5%14
Compiler

Compiled 21 to 17 computations (19% saved)

sample48.0ms (0.5%)

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

Compiled 35 to 29 computations (17.1% saved)

simplify24.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
51×sub-neg_binary32
46×cancel-sign-sub-inv_binary32
29×distribute-rgt-in_binary32
25×associate-+l-_binary32
20×distribute-lft-in_binary32
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01014
12414
23714
35814
47014
58514
611214
715714
820114
921814
1023814
1127314
1228814
1329014
1424214

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
11.6b
Counts
2 → 2
Alt Table
StatusErrorProgram
▶11.7b
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
12.6b
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
Compiler

Compiled 57 to 47 computations (17.5% saved)

localize27.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
13.2b
(log.f32 (-.f32 1 (*.f32 4 u)))

rewrite87.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
11.2b
Rules
12×associate-*r*_binary32
11×add-sqr-sqrt_binary32
9×*-un-lft-identity_binary32
9×log-prod_binary32
9×add-cube-cbrt_binary32
Counts
2 → 48
Calls

2 calls:

7.0ms
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
2.0ms
(log.f32 (-.f32 1 (*.f32 4 u)))
Compiler

Compiled 766 to 624 computations (18.5% saved)

series73.0ms (0.8%)

Error
0.3b
Counts
2 → 15
Calls

2 calls:

33.0ms
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
13.0ms
(log.f32 (-.f32 1 (*.f32 4 u)))
Compiler

Compiled 528 to 411 computations (22.2% saved)

simplify163.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
452×unsub-neg_binary32
392×distribute-rgt-neg-in_binary32
370×neg-mul-1_binary32
363×neg-sub0_binary32
352×sub-neg_binary32
Counts
63 → 55
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01341151
13231042
210371004
31926996
43425996
53917996
64694992
74893992
84984992
94811992

prune94.0ms (1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New451055
Fresh011
Picked011
Done000
Total451257
Error
0.3b
Counts
57 → 12
Alt Table
StatusErrorProgram
13.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))) -2)) (*.f32 s (neg.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
✓11.7b
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
11.7b
(*.f32 (*.f32 s (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))))
12.4b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u (*.f32 u 16)))) (log.f32 (+.f32 (*.f32 u 4) 1)))))
11.7b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
▶2.5b
(*.f32 s (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
11.7b
(*.f32 (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))))
3.2b
(*.f32 s (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64/3 (pow.f32 u 3))))
12.6b
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
12.6b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
12.7b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 (pow.f32 u 3) 64))) (log.f32 (+.f32 1 (*.f32 u (+.f32 4 (*.f32 u 16))))))))
11.7b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
Compiler

Compiled 1125 to 896 computations (20.4% saved)

localize58.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.2b
(*.f32 s (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
0.3b
(*.f32 u (+.f32 4 (*.f32 u 8)))
0.3b
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
0.4b
(*.f32 64/3 (pow.f32 u 3))

rewrite244.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
23×add-sqr-sqrt_binary32
18×associate-*r*_binary32
13×add-exp-log_binary32
12×associate-*r/_binary32
12×*-un-lft-identity_binary32
Counts
4 → 90
Calls

4 calls:

11.0ms
(*.f32 s (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
7.0ms
(*.f32 u (+.f32 4 (*.f32 u 8)))
5.0ms
(*.f32 64/3 (pow.f32 u 3))
4.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
Compiler

Compiled 2863 to 2241 computations (21.7% saved)

series98.0ms (1%)

Error
0.2b
Counts
4 → 24
Calls

4 calls:

41.0ms
(*.f32 s (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
17.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
15.0ms
(*.f32 u (+.f32 4 (*.f32 u 8)))
10.0ms
(*.f32 64/3 (pow.f32 u 3))
Compiler

Compiled 1047 to 810 computations (22.6% saved)

simplify109.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
360×associate-*l*_binary32
340×associate-*r*_binary32
298×associate-+l+_binary32
290×associate-+r+_binary32
245×exp-prod_binary32
Counts
114 → 76
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01982455
16072247
224242226
345952202
449742202

prune166.0ms (1.8%)

Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New69776
Fresh1910
Picked101
Done011
Total711788
Error
0.1b
Counts
88 → 17
Alt Table
StatusErrorProgram
13.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))) -2)) (*.f32 s (neg.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
✓11.7b
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
2.7b
(*.f32 (*.f32 s (sqrt.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))))) (sqrt.f32 (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))))
2.8b
(*.f32 (*.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))))) (cbrt.f32 (*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8)))))))) (cbrt.f32 (*.f32 s (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))))))
12.6b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.7b
(*.f32 (*.f32 s (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))))
12.4b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u (*.f32 u 16)))) (log.f32 (+.f32 (*.f32 u 4) 1)))))
2.8b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))) (cbrt.f32 s)))
2.5b
(+.f32 (*.f32 u (*.f32 s (+.f32 4 (*.f32 u 8)))) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) s))
11.7b
(*.f32 (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))))
12.6b
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
▶2.5b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
4.7b
(/.f32 (*.f32 s (-.f32 (*.f32 u (*.f32 u (*.f32 (+.f32 4 (*.f32 u 8)) (+.f32 4 (*.f32 u 8))))) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))) (-.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
10.4b
(/.f32 (*.f32 s (*.f32 (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (+.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))))) (*.f32 (-.f32 4 (*.f32 u 8)) (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.7b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 (pow.f32 u 3) 64))) (log.f32 (+.f32 1 (*.f32 u (+.f32 4 (*.f32 u 16))))))))
11.7b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
11.7b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 2653 to 2074 computations (21.8% saved)

localize83.0ms (0.9%)

Local error

Found 4 expressions with local error:

0.2b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
0.2b
(/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8)))
0.3b
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
0.4b
(*.f32 64/3 (pow.f32 u 3))

rewrite322.0ms (3.4%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
21×add-sqr-sqrt_binary32
16×associate-*r*_binary32
16×add-exp-log_binary32
14×*-un-lft-identity_binary32
13×add-cbrt-cube_binary32
Counts
4 → 92
Calls

4 calls:

16.0ms
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
9.0ms
(/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8)))
5.0ms
(*.f32 64/3 (pow.f32 u 3))
4.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
Compiler

Compiled 3643 to 2709 computations (25.6% saved)

series136.0ms (1.4%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

66.0ms
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
22.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
18.0ms
(/.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (-.f32 4 (*.f32 u 8)))
13.0ms
(*.f32 64/3 (pow.f32 u 3))
Compiler

Compiled 1283 to 991 computations (22.8% saved)

simplify113.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
632×times-frac_binary32
299×associate-*l*_binary32
283×associate-*r*_binary32
207×exp-prod_binary32
193×cancel-sign-sub-inv_binary32
Counts
116 → 83
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02203024
16502799
225382749
347692725
450632725

prune196.0ms (2.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New79483
Fresh11415
Picked101
Done011
Total8119100
Error
0.1b
Counts
100 → 19
Alt Table
StatusErrorProgram
13.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))) -2)) (*.f32 s (neg.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
✓11.7b
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
2.7b
(*.f32 (*.f32 s (sqrt.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))))) (sqrt.f32 (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))))
2.7b
(*.f32 s (+.f32 (/.f32 (*.f32 (/.f32 u (*.f32 (cbrt.f32 (-.f32 4 (*.f32 u 8))) (cbrt.f32 (-.f32 4 (*.f32 u 8))))) (-.f32 16 (*.f32 64 (*.f32 u u)))) (cbrt.f32 (-.f32 4 (*.f32 u 8)))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
4.7b
(/.f32 (*.f32 s (-.f32 (*.f32 u (*.f32 u (*.f32 (+.f32 4 (*.f32 u 8)) (+.f32 4 (*.f32 u 8))))) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))) (-.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
▶2.4b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 (pow.f32 16 3) (pow.f32 (*.f32 64 (*.f32 u u)) 3))) (*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 256 (+.f32 (pow.f32 (*.f32 u 8) 4) (*.f32 (*.f32 u u) 1024))))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
10.4b
(/.f32 (*.f32 s (*.f32 (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (+.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))))) (*.f32 (-.f32 4 (*.f32 u 8)) (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
11.7b
(*.f32 (*.f32 s (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))))
12.4b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u (*.f32 u 16)))) (log.f32 (+.f32 (*.f32 u 4) 1)))))
2.8b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))) (cbrt.f32 s)))
2.5b
(+.f32 (*.f32 u (*.f32 s (+.f32 4 (*.f32 u 8)))) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) s))
2.8b
(*.f32 s (+.f32 (*.f32 (*.f32 (cbrt.f32 (*.f32 (/.f32 u (-.f32 4 (*.f32 u 8))) (-.f32 16 (*.f32 64 (*.f32 u u))))) (cbrt.f32 (*.f32 (/.f32 u (-.f32 4 (*.f32 u 8))) (-.f32 16 (*.f32 64 (*.f32 u u)))))) (cbrt.f32 (*.f32 (/.f32 u (-.f32 4 (*.f32 u 8))) (-.f32 16 (*.f32 64 (*.f32 u u)))))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.7b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 (pow.f32 u 3) 64))) (log.f32 (+.f32 1 (*.f32 u (+.f32 4 (*.f32 u 16))))))))
14.6b
(*.f32 s (+.f32 (log.f32 (exp.f32 (*.f32 (/.f32 u (-.f32 4 (*.f32 u 8))) (-.f32 16 (*.f32 64 (*.f32 u u)))))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
11.7b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
11.7b
(*.f32 (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))))
12.6b
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
12.6b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.7b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 3332 to 2525 computations (24.2% saved)

localize121.0ms (1.3%)

Local error

Found 4 expressions with local error:

0.2b
(*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 256 (+.f32 (pow.f32 (*.f32 u 8) 4) (*.f32 (*.f32 u u) 1024))))
0.3b
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
0.4b
(*.f32 64/3 (pow.f32 u 3))
0.5b
(pow.f32 (*.f32 64 (*.f32 u u)) 3)

rewrite345.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
20×add-sqr-sqrt_binary32
17×add-exp-log_binary32
16×associate-*r*_binary32
14×add-cbrt-cube_binary32
13×*-un-lft-identity_binary32
Counts
4 → 96
Calls

4 calls:

9.0ms
(*.f32 64/3 (pow.f32 u 3))
8.0ms
(*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 256 (+.f32 (pow.f32 (*.f32 u 8) 4) (*.f32 (*.f32 u u) 1024))))
8.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
5.0ms
(pow.f32 (*.f32 64 (*.f32 u u)) 3)
Compiler

Compiled 4875 to 3669 computations (24.7% saved)

series144.0ms (1.5%)

Error
0.1b
Counts
4 → 20
Calls

4 calls:

27.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
23.0ms
(*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 256 (+.f32 (pow.f32 (*.f32 u 8) 4) (*.f32 (*.f32 u u) 1024))))
17.0ms
(*.f32 64/3 (pow.f32 u 3))
16.0ms
(pow.f32 (*.f32 64 (*.f32 u u)) 3)
Compiler

Compiled 1840 to 1440 computations (21.7% saved)

simplify99.0ms (1%)

Algorithm
1×egg-herbie
Rules
402×log-prod_binary32
293×cancel-sign-sub-inv_binary32
268×unswap-sqr_binary32
236×associate-*l*_binary32
225×associate-*r*_binary32
Counts
116 → 83
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02092250
15802057
222411982
347231982
450491982

prune281.0ms (3%)

Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New82183
Fresh21517
Picked011
Done011
Total8418102
Error
0.1b
Counts
102 → 18
Alt Table
StatusErrorProgram
13.2b
(+.f32 (*.f32 s (*.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))) -2)) (*.f32 s (neg.f32 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.7b
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
2.7b
(*.f32 (*.f32 s (sqrt.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))))) (sqrt.f32 (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))))
2.7b
(*.f32 s (+.f32 (/.f32 (*.f32 (/.f32 u (*.f32 (cbrt.f32 (-.f32 4 (*.f32 u 8))) (cbrt.f32 (-.f32 4 (*.f32 u 8))))) (-.f32 16 (*.f32 64 (*.f32 u u)))) (cbrt.f32 (-.f32 4 (*.f32 u 8)))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
4.7b
(/.f32 (*.f32 s (-.f32 (*.f32 u (*.f32 u (*.f32 (+.f32 4 (*.f32 u 8)) (+.f32 4 (*.f32 u 8))))) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))) (-.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
2.4b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 (pow.f32 16 3) (pow.f32 (*.f32 64 (*.f32 u u)) 3))) (*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 256 (+.f32 (pow.f32 (*.f32 u 8) 4) (*.f32 (*.f32 u u) 1024))))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
10.4b
(/.f32 (*.f32 s (*.f32 (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (+.f32 (*.f32 u (-.f32 16 (*.f32 64 (*.f32 u u)))) (*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))))) (*.f32 (-.f32 4 (*.f32 u 8)) (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
11.7b
(*.f32 (*.f32 s (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))))
12.4b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 u (*.f32 u 16)))) (log.f32 (+.f32 (*.f32 u 4) 1)))))
2.8b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (+.f32 (*.f32 64 (pow.f32 u 4)) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 u (+.f32 4 (*.f32 u 8))))) (cbrt.f32 s)))
2.5b
(+.f32 (*.f32 u (*.f32 s (+.f32 4 (*.f32 u 8)))) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) s))
14.6b
(*.f32 s (+.f32 (log.f32 (exp.f32 (*.f32 (/.f32 u (-.f32 4 (*.f32 u 8))) (-.f32 16 (*.f32 64 (*.f32 u u)))))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
3.1b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 (pow.f32 16 3) (pow.f32 (*.f32 64 (*.f32 u u)) 3))) (*.f32 (-.f32 4 (*.f32 u 8)) (+.f32 256 (+.f32 (pow.f32 (*.f32 u 8) 4) (*.f32 (*.f32 u u) 1024))))) (log.f32 (exp.f32 (*.f32 (pow.f32 u 3) (+.f32 64/3 (*.f32 u 64)))))))
11.7b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
11.7b
(*.f32 (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))) (*.f32 (sqrt.f32 s) (sqrt.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))))))
12.6b
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
12.7b
(*.f32 s (neg.f32 (-.f32 (log.f32 (-.f32 1 (*.f32 (pow.f32 u 3) 64))) (log.f32 (+.f32 1 (*.f32 u (+.f32 4 (*.f32 u 16))))))))
11.7b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 3643 to 2752 computations (24.5% saved)

regimes3.6s (38.4%)

Accuracy

Total 0.3b remaining (78.7%)

Threshold costs 0.3b (78.7%)

Compiler

Compiled 46960 to 37096 computations (21% saved)

bsearch11.0ms (0.1%)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
18×*-commutative_binary32
16×+-commutative_binary32
13×sub-neg_binary32
10×distribute-rgt-neg-in_binary32
10×cancel-sign-sub-inv_binary32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03674
16774
29374
312372
414172
514672
614072

end2.0ms (0%)

Compiler

Compiled 50 to 39 computations (22% saved)

sample2.1s (22.4%)

Algorithm
1×intervals
Results
608.0ms8000×body128valid
184.0ms8000×pre128true
Compiler

Compiled 644 to 508 computations (21.1% saved)

Profiling

Loading profile data...