Details

Time bar (total: 9.9s)

analyze664.0ms (6.7%)

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)

sample42.0ms (0.4%)

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

Compiled 35 to 29 computations (17.1% saved)

simplify19.0ms (0.2%)

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

prune7.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 57 to 47 computations (17.5% saved)

localize22.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite89.0ms (0.9%)

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

2 calls:

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

Compiled 766 to 624 computations (18.5% saved)

series72.0ms (0.7%)

Error
0.3b
Counts
2 → 15
Calls

2 calls:

36.0ms
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))))
15.0ms
(log.f32 (-.f32 1 (*.f32 4 u)))
Compiler

Compiled 528 to 411 computations (22.2% saved)

simplify124.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
467×unsub-neg_binary32
375×sub-neg_binary32
373×distribute-rgt-neg-in_binary32
361×neg-mul-1_binary32
354×neg-sub0_binary32
Counts
63 → 55
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01351151
13251042
210371004
31914996
43436996
53902996
64755992
74817992

prune90.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New441155
Fresh011
Picked101
Done000
Total451257
Error
0.3b
Counts
57 → 12
Alt Table
StatusErrorProgram
11.4b
(*.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))))))
24.7b
(log.f32 (pow.f32 (+.f32 (*.f32 -4 u) 1) (neg.f32 s)))
11.7b
(exp.f32 (log.f32 (neg.f32 (*.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))))
▶2.1b
(*.f32 s (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.9b
(*.f32 s (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1)))) (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
8.9b
(*.f32 4 (*.f32 u s))
11.4b
(*.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.1b
(*.f32 s (log.f32 (/.f32 1 (-.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.4b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
12.1b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 1090 to 869 computations (20.3% saved)

localize47.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.2b
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
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.4b
(*.f32 64/3 (pow.f32 u 3))

rewrite247.0ms (2.5%)

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

4 calls:

13.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)))))
9.0ms
(*.f32 64/3 (pow.f32 u 3))
6.0ms
(*.f32 u (+.f32 4 (*.f32 u 8)))
5.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
Compiler

Compiled 2863 to 2241 computations (21.7% saved)

series125.0ms (1.3%)

Error
0.2b
Counts
4 → 24
Calls

4 calls:

51.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)))))
25.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
19.0ms
(*.f32 u (+.f32 4 (*.f32 u 8)))
14.0ms
(*.f32 64/3 (pow.f32 u 3))
Compiler

Compiled 1026 to 794 computations (22.6% saved)

simplify134.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
362×associate-*l*_binary32
342×associate-*r*_binary32
306×associate-+l+_binary32
287×associate-+r+_binary32
238×exp-prod_binary32
Counts
114 → 72
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01972473
16092250
224152226
345672202
449682202
549342202

prune167.0ms (1.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New65772
Fresh11011
Picked101
Done000
Total671784
Error
0.1b
Counts
84 → 17
Alt Table
StatusErrorProgram
11.4b
(*.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))))))
2.3b
(*.f32 (*.f32 s (sqrt.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (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.1b
(+.f32 (*.f32 u (*.f32 s (+.f32 4 (*.f32 u 8)))) (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
24.7b
(log.f32 (pow.f32 (+.f32 (*.f32 -4 u) 1) (neg.f32 s)))
11.7b
(exp.f32 (log.f32 (neg.f32 (*.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))))
2.5b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))) (cbrt.f32 s)))
▶2.0b
(*.f32 s (+.f32 (+.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.9b
(*.f32 s (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1)))) (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.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.1b
(*.f32 s (log.f32 (/.f32 1 (-.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.4b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
2.3b
(*.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))))
2.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (cbrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4))))))) (cbrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))))
2.1b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.1b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 2449 to 1909 computations (22% saved)

localize54.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

rewrite291.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
19×add-sqr-sqrt_binary32
18×add-log-exp_binary32
16×associate-*r*_binary32
14×*-un-lft-identity_binary32
11×add-exp-log_binary32 flip3-+_binary32 flip-+_binary32
Counts
4 → 90
Calls

4 calls:

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

Compiled 3633 to 2636 computations (27.4% saved)

series118.0ms (1.2%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

52.0ms
(*.f32 s (+.f32 (+.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
24.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
13.0ms
(+.f32 (+.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))))
13.0ms
(*.f32 64/3 (pow.f32 u 3))
Compiler

Compiled 944 to 712 computations (24.6% saved)

simplify103.0ms (1%)

Algorithm
1×egg-herbie
Rules
392×associate-+l+_binary32
350×associate-*l*_binary32
347×associate-*r*_binary32
307×cancel-sign-sub-inv_binary32
212×distribute-rgt-out_binary32
Counts
114 → 81
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01903679
16103177
225993063
351013063

prune219.0ms (2.2%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New79281
Fresh11516
Picked011
Done000
Total801898
Error
0.1b
Counts
98 → 18
Alt Table
StatusErrorProgram
11.4b
(*.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))))))
2.3b
(*.f32 (*.f32 s (sqrt.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (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.1b
(+.f32 (*.f32 u (*.f32 s (+.f32 4 (*.f32 u 8)))) (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
24.7b
(log.f32 (pow.f32 (+.f32 (*.f32 -4 u) 1) (neg.f32 s)))
11.7b
(exp.f32 (log.f32 (neg.f32 (*.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))))
12.5b
(/.f32 (*.f32 s (*.f32 (*.f32 (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (*.f32 u (+.f32 4 (*.f32 u -8)))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u (+.f32 (*.f32 u 8) 4)))))) (*.f32 (-.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
✓2.0b
(*.f32 s (+.f32 (+.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
2.2b
(+.f32 (*.f32 (*.f32 u s) (+.f32 (*.f32 u 8) 4)) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) s))
12.9b
(*.f32 s (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1)))) (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.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.1b
(*.f32 s (log.f32 (/.f32 1 (-.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.4b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
2.3b
(*.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))))
2.4b
(*.f32 (*.f32 (cbrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (cbrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4))))))) (cbrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))))
▶2.1b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.1b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 3264 to 2473 computations (24.2% saved)

localize67.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.2b
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
0.2b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.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 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8)))
0.4b
(*.f32 64/3 (pow.f32 u 3))

rewrite318.0ms (3.2%)

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

4 calls:

18.0ms
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.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 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8)))
7.0ms
(*.f32 64/3 (pow.f32 u 3))
5.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
Compiler

Compiled 3643 to 2709 computations (25.6% saved)

series175.0ms (1.8%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

83.0ms
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
28.0ms
(+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))
28.0ms
(/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8)))
16.0ms
(*.f32 64/3 (pow.f32 u 3))
Compiler

Compiled 1254 to 970 computations (22.6% saved)

simplify124.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
628×times-frac_binary32
298×associate-*l*_binary32
283×associate-*r*_binary32
216×exp-prod_binary32
188×cancel-sign-sub-inv_binary32
Counts
116 → 80
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02173027
16462799
225152749
346932725
450012725

prune192.0ms (1.9%)

Pruning

19 alts after pruning (17 fresh and 2 done)

PrunedKeptTotal
New78280
Fresh11516
Picked011
Done011
Total791998
Error
0.1b
Counts
98 → 19
Alt Table
StatusErrorProgram
11.4b
(*.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))))))
2.3b
(*.f32 (*.f32 s (sqrt.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (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.1b
(+.f32 (*.f32 u (*.f32 s (+.f32 4 (*.f32 u 8)))) (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
24.7b
(log.f32 (pow.f32 (+.f32 (*.f32 -4 u) 1) (neg.f32 s)))
11.7b
(exp.f32 (log.f32 (neg.f32 (*.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))))
12.5b
(/.f32 (*.f32 s (*.f32 (*.f32 (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) (*.f32 u (+.f32 4 (*.f32 u -8)))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 64 (pow.f32 u 4)) (*.f32 u (+.f32 (*.f32 u 8) 4)))))) (*.f32 (-.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (-.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
2.0b
(*.f32 s (+.f32 (+.f32 (*.f32 u 4) (*.f32 8 (*.f32 u u))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
2.2b
(+.f32 (*.f32 (*.f32 u s) (+.f32 (*.f32 u 8) 4)) (*.f32 (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4))) s))
12.9b
(*.f32 s (neg.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1)))) (log.f32 (cbrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.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.1b
(*.f32 s (log.f32 (/.f32 1 (-.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.4b
(*.f32 (sqrt.f32 s) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (sqrt.f32 s)))
2.3b
(*.f32 (sqrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))) (sqrt.f32 (*.f32 s (+.f32 (*.f32 64/3 (pow.f32 u 3)) (+.f32 (*.f32 u (+.f32 4 (*.f32 u 8))) (*.f32 64 (pow.f32 u 4)))))))
2.4b
(*.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 (*.f32 u u) 64))) (cbrt.f32 (-.f32 4 (*.f32 u 8)))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
2.1b
(*.f32 s (+.f32 (/.f32 (*.f32 u (-.f32 16 (*.f32 (*.f32 u u) 64))) (-.f32 4 (*.f32 u 8))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
13.9b
(*.f32 s (+.f32 (log.f32 (exp.f32 (*.f32 (/.f32 u (-.f32 4 (*.f32 u 8))) (-.f32 16 (*.f32 (*.f32 u u) 64))))) (+.f32 (*.f32 64/3 (pow.f32 u 3)) (*.f32 64 (pow.f32 u 4)))))
12.1b
(*.f32 s (neg.f32 (+.f32 (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))) (log.f32 (sqrt.f32 (+.f32 (*.f32 -4 u) 1))))))
11.4b
(*.f32 (*.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (log.f32 (+.f32 (*.f32 -4 u) 1))) (cbrt.f32 s)))
Compiler

Compiled 2646 to 1989 computations (24.8% saved)

regimes4.0s (40.3%)

Accuracy

Total 0.3b remaining (75.7%)

Threshold costs 0.3b (75.7%)

Compiler

Compiled 42477 to 33541 computations (21% saved)

bsearch11.0ms (0.1%)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify5.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
03063
15263
26563
37563
48163
58363
68163

end3.0ms (0%)

Compiler

Compiled 44 to 34 computations (22.7% saved)

sample2.4s (23.9%)

Algorithm
1×intervals
Results
517.0ms8000×body128valid
187.0ms8000×pre128true
Compiler

Compiled 586 to 464 computations (20.8% saved)

Profiling

Loading profile data...