Details

Time bar (total: 27.2s)

analyze3.2s (11.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
31.2%68.7%0.1%7
34.3%65.6%0.1%8
37.5%59.3%3.2%9
42.9%53.5%3.6%10
44.5%50%5.6%11
47.8%45.8%6.4%12
48.7%43.7%7.6%13
50.5%41.3%8.2%14
Compiler

Compiled 130 to 81 computations (37.7% saved)

sample174.0ms (0.6%)

Algorithm
1×intervals
Results
65.0ms213×body128valid
58.0ms198×body128invalid
15.0ms19×body512valid
12.0ms11×body1024valid
7.0ms13×body256valid
Compiler

Compiled 261 to 163 computations (37.5% saved)

simplify53.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
797×distribute-rgt-in_binary64
779×distribute-lft-in_binary64
269×times-frac_binary64
172×associate-+l+_binary64
168×distribute-lft-out_binary64
Counts
1 → 1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
036190
1112187
2359178
31580157
44846157
55174157

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.5b
Counts
2 → 2
Alt Table
StatusErrorProgram
0.6b
(+.f64 x1 (+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6)) x1))))
▶0.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
Compiler

Compiled 579 to 355 computations (38.7% saved)

localize45.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.9b
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
3.9b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
5.8b
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
5.9b
(*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))

rewrite902.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
33×add-sqr-sqrt_binary64
30×add-cbrt-cube_binary64
30×add-exp-log_binary64
29×*-un-lft-identity_binary64
24×associate-*r*_binary64
Counts
4 → 130
Calls

4 calls:

38.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
19.0ms
(*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))
18.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
17.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
Compiler

Compiled 19785 to 12132 computations (38.7% saved)

series829.0ms (3.1%)

Error
0.5b
Counts
4 → 68
Calls

4 calls:

350.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
118.0ms
(*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))
111.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
54.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
Compiler

Compiled 16344 to 10828 computations (33.7% saved)

simplify210.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
290×distribute-rgt-in_binary64
280×distribute-lft-in_binary64
171×*-commutative_binary64
171×associate-+l+_binary64
170×associate-+r+_binary64
Counts
198 → 185
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051313394
1165012764
2501612764

prune557.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New17510185
Fresh101
Picked101
Done000
Total17710187
Error
0.4b
Counts
187 → 10
Alt Table
StatusErrorProgram
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (/.f64 (+.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)))) -9) (+.f64 3 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
9.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
10.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 x1 (*.f64 x2 x2)) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (-.f64 (+.f64 (*.f64 18 (/.f64 (pow.f64 x1 5) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 x1 3) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 12 (/.f64 (pow.f64 x1 4) (+.f64 (*.f64 x1 x1) 1))) (+.f64 (*.f64 24 (/.f64 (*.f64 x2 (pow.f64 x1 3)) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 8 (/.f64 (*.f64 x2 (*.f64 x1 x1)) (+.f64 (*.f64 x1 x1) 1))) (*.f64 6 (/.f64 (*.f64 x1 x1) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 (/.f64 (pow.f64 x1 3) (+.f64 (*.f64 x1 x1) 1)) 22) (+.f64 (*.f64 8 (/.f64 (*.f64 x2 (*.f64 x1 x1)) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))) (+.f64 (*.f64 6 (*.f64 x1 x1)) (*.f64 12 (+.f64 (*.f64 (/.f64 x2 (+.f64 (*.f64 x1 x1) 1)) x1) (/.f64 (pow.f64 x1 4) (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2))))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
45.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 (*.f64 x1 (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
16.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (/.f64 (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)) (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
44.0b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (-.f64 (+.f64 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.f64 x1 4)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
45.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))) (*.f64 x1 (sqrt.f64 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
▶0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
Compiler

Compiled 21968 to 13468 computations (38.7% saved)

localize51.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3))
2.9b
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
3.9b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
5.8b
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

rewrite1.3s (4.9%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
43×add-cbrt-cube_binary64
43×add-exp-log_binary64
39×add-sqr-sqrt_binary64
36×associate-*r/_binary64
33×*-un-lft-identity_binary64
Counts
4 → 150
Calls

4 calls:

35.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
34.0ms
(*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3))
16.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
16.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
Compiler

Compiled 22810 to 14158 computations (37.9% saved)

series710.0ms (2.6%)

Error
0.4b
Counts
4 → 67
Calls

4 calls:

316.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
120.0ms
(*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3))
66.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
53.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
Compiler

Compiled 15817 to 10580 computations (33.1% saved)

simplify301.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
314×distribute-rgt-in_binary64
305×distribute-lft-in_binary64
194×associate-*r/_binary64
186×*-commutative_binary64
169×associate-/l*_binary64
Counts
217 → 202
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
055616117
1177515310
2496815310
3494115310

prune814.0ms (3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1993202
Fresh549
Picked101
Done000
Total2057212
Error
0.4b
Counts
212 → 7
Alt Table
StatusErrorProgram
44.0b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (-.f64 (+.f64 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.f64 x1 4)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
▶0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
12.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))) -9) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))) (*.f64 (*.f64 x1 (*.f64 x1 (+.f64 (*.f64 16 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) -36))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
9.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
16.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
Compiler

Compiled 22777 to 14061 computations (38.3% saved)

localize55.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))
2.9b
(+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
3.9b
(-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)
5.8b
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

rewrite777.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
35×add-sqr-sqrt_binary64
34×add-cbrt-cube_binary64
34×add-exp-log_binary64
29×*-un-lft-identity_binary64
22×associate-*r*_binary64
Counts
4 → 125
Calls

4 calls:

34.0ms
(+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
27.0ms
(*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))
16.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
12.0ms
(-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)
Compiler

Compiled 17567 to 10860 computations (38.2% saved)

series598.0ms (2.2%)

Error
0.4b
Counts
4 → 61
Calls

4 calls:

303.0ms
(+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
70.0ms
(-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)
53.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
45.0ms
(*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))
Compiler

Compiled 15010 to 10006 computations (33.3% saved)

simplify205.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
685×associate-*l*_binary64
657×associate-*r*_binary64
241×distribute-rgt-in_binary64
230×distribute-lft-in_binary64
169×associate-/l*_binary64
Counts
186 → 153
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
050712175
1154510957
2552310957

prune627.0ms (2.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1521153
Fresh066
Picked011
Done000
Total1528160
Error
0.4b
Counts
160 → 8
Alt Table
StatusErrorProgram
44.0b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (-.f64 (+.f64 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.f64 x1 4)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
✓0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
12.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))) -9) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))) (*.f64 (*.f64 x1 (*.f64 x1 (+.f64 (*.f64 16 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) -36))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 2)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
9.3b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (*.f64 (*.f64 x1 x1) (+.f64 (*.f64 16 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1))))) -36)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 6 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
16.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
▶7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
Compiler

Compiled 17858 to 10970 computations (38.6% saved)

localize61.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.9b
(+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
4.2b
(+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1))))))
5.8b
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
6.2b
(*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))))

rewrite1.8s (6.7%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
177×times-frac_binary64
116×associate-*r*_binary64
99×*-un-lft-identity_binary64
99×add-sqr-sqrt_binary64
93×add-cube-cbrt_binary64
Counts
4 → 216
Calls

4 calls:

38.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
32.0ms
(+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1))))))
32.0ms
(*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))))
16.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
Compiler

Compiled 38361 to 24382 computations (36.4% saved)

series578.0ms (2.1%)

Error
0.4b
Counts
4 → 61
Calls

4 calls:

256.0ms
(+.f64 (+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6))))
84.0ms
(+.f64 (*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) (*.f64 -3 (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1))))))
61.0ms
(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
50.0ms
(*.f64 (*.f64 x1 2) (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))))
Compiler

Compiled 15222 to 10261 computations (32.6% saved)

simplify370.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
306×distribute-rgt-in_binary64
297×distribute-lft-in_binary64
272×associate-/r/_binary64
255×associate-/l/_binary64
249×times-frac_binary64
Counts
277 → 263
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
071020758
1224219639
2487819639
3496119639

prune1.3s (4.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2612263
Fresh156
Picked101
Done011
Total2638271
Error
0.4b
Counts
271 → 8
Alt Table
StatusErrorProgram
44.0b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (-.f64 (+.f64 (*.f64 8 x2) (*.f64 6 (*.f64 x1 x1))) (+.f64 12 (*.f64 x1 4)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
0.5b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
12.6b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)))) -9) (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (*.f64 x1 2)))) (*.f64 (*.f64 x1 (*.f64 x1 (+.f64 (*.f64 16 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2))))) -36))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 6 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 3 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
7.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (/.f64 (*.f64 (*.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (-.f64 (/.f64 (+.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) x1) (*.f64 x2 2)) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 2)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
7.0b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 2 x1) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 1 (*.f64 x1 x1)) 2) (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2))))) (*.f64 -6 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1)))))) (*.f64 x1 (*.f64 x1 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1))))))) (*.f64 (*.f64 x1 (neg.f64 6)) x1)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
16.1b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
7.2b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 2 x1) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (/.f64 (pow.f64 (+.f64 1 (*.f64 x1 x1)) 2) (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2))))) (*.f64 -6 (*.f64 x1 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1)))))) (*.f64 x1 (*.f64 x1 (*.f64 4 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x1 x1) 3) x1) (*.f64 x2 2)) (+.f64 1 (*.f64 x1 x1))))))) (*.f64 (*.f64 (*.f64 (neg.f64 (*.f64 (cbrt.f64 6) (cbrt.f64 6))) (cbrt.f64 6)) x1) x1)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
26.8b
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (log.f64 (exp.f64 (+.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))) 6)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 2 (*.f64 x1 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1)))))))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
Compiler

Compiled 34955 to 21413 computations (38.7% saved)

regimes6.0s (22%)

Accuracy

Total 0.1b remaining (19.6%)

Threshold costs 0.1b (19.6%)

Compiler

Compiled 256792 to 162969 computations (36.5% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Rules
19×*-commutative_binary64
18×+-commutative_binary64
8×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
050196
187196
2100196
3106196
4110196
5111196
6105196

end2.0ms (0%)

Compiler

Compiled 133 to 83 computations (37.6% saved)

sample5.6s (20.7%)

Algorithm
1×intervals
Results
2.1s7026×body128valid
1.7s5903×body128invalid
438.0ms350×body1024valid
322.0ms371×body512valid
141.0ms253×body256valid
Compiler

Compiled 1526 to 959 computations (37.2% saved)

Profiling

Loading profile data...