Details

Time bar (total: 11.6s)

analyze1.8s

Algorithm
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

sample132.0ms

Algorithm
intervals
Results
51.0ms222×body80valid
39.0ms186×body80invalid
10.0ms12×body640valid
8.0ms13×body320valid
4.0ms4×body1280valid
2.0ms5×body160valid

simplify465.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05054109

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 2

localize51.0ms

Local error

Found 4 expressions with local error:

4.4b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
5.1b
(+.f64 (*.f64 (*.f64 (*.f64 2.0 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
5.4b
(*.f64 (*.f64 (*.f64 3.0 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)))
5.4b
(*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log_binary64 add-cbrt-cube_binary64
26×add-sqr-sqrt_binary64
24×associate-*r*_binary64
23×associate-*r/_binary64
22×*-un-lft-identity_binary64
18×pow1_binary64
16×times-frac_binary64
15×cbrt-unprod_binary64 prod-exp_binary64
14×add-cube-cbrt_binary64
11×flip3--_binary64 flip--_binary64
10×frac-add_binary64
9×pow-prod-down_binary64
8×add-log-exp_binary64
7×sub-neg_binary64
5×difference-of-squares_binary64
4×distribute-lft-out--_binary64 frac-times_binary64
3×cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64
2×flip3-+_binary64 associate-+l+_binary64 associate-/r/_binary64 associate-*l*_binary64 flip-+_binary64 associate-+r+_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate--l-_binary64 diff-log_binary64 unswap-sqr_binary64 div-sub_binary64 div-inv_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 109
Calls
4 calls:
19.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
46.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2.0 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
20.0ms
(*.f64 (*.f64 (*.f64 3.0 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)))
23.0ms
(*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0))

series137.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
82.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2.0 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
12.0ms
(*.f64 (*.f64 (*.f64 3.0 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)))
27.0ms
(*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0))

simplify64.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
049895980
149895980

prune752.0ms

Filtered
90 candidates to 121 candidates (-34.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1129121
Fresh011
Picked101
Done000
Total11310123

Merged error: 0.3b

Counts
123 → 10

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) (+.f64 (*.f64 x1 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0))) (*.f64 4.0 (*.f64 x1 x1))))
4.4b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
5.1b
(-.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) (+.f64 (*.f64 x1 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0))) (*.f64 4.0 (*.f64 x1 x1)))) (*.f64 6.0 (*.f64 x1 x1)))
5.5b
(*.f64 (*.f64 x1 x1) (+.f64 (*.f64 3.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) x1))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64
23×*-un-lft-identity_binary64
22×associate-*l*_binary64
17×times-frac_binary64
15×add-cube-cbrt_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
11×pow1_binary64
8×add-log-exp_binary64
6×associate-*r*_binary64
5×cbrt-unprod_binary64 prod-exp_binary64 difference-of-squares_binary64
4×pow-prod-down_binary64 flip3-+_binary64 associate-*r/_binary64 distribute-lft-out--_binary64 flip-+_binary64
3×distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64
2×sub-neg_binary64 flip3--_binary64 diff-log_binary64 associate-/r/_binary64 flip--_binary64 frac-times_binary64 associate--l+_binary64 *-commutative_binary64
1×associate--l-_binary64 cbrt-undiv_binary64 div-sub_binary64 div-inv_binary64 div-exp_binary64 associate-*l/_binary64
Counts
4 → 97
Calls
4 calls:
43.0ms
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) (+.f64 (*.f64 x1 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0))) (*.f64 4.0 (*.f64 x1 x1))))
19.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
39.0ms
(-.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) (+.f64 (*.f64 x1 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0))) (*.f64 4.0 (*.f64 x1 x1)))) (*.f64 6.0 (*.f64 x1 x1)))
22.0ms
(*.f64 (*.f64 x1 x1) (+.f64 (*.f64 3.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) x1))

series149.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) (+.f64 (*.f64 x1 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0))) (*.f64 4.0 (*.f64 x1 x1))))
16.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
78.0ms
(-.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) (+.f64 (*.f64 x1 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0))) (*.f64 4.0 (*.f64 x1 x1)))) (*.f64 6.0 (*.f64 x1 x1)))
19.0ms
(*.f64 (*.f64 x1 x1) (+.f64 (*.f64 3.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) x1))

simplify54.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
050344426

prune521.0ms

Filtered
86 candidates to 109 candidates (-26.7%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1045109
Fresh549
Picked101
Done000
Total1109119

Merged error: 0.3b

Counts
119 → 9

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 x1 4.0))) (+.f64 (*.f64 x1 x1) 1.0)))
4.4b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
5.1b
(-.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 x1 4.0))) (+.f64 (*.f64 x1 x1) 1.0))) (*.f64 6.0 (*.f64 x1 x1)))
5.5b
(*.f64 (*.f64 x1 x1) (+.f64 (*.f64 3.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) x1))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64 associate-*r*_binary64
11×pow1_binary64
8×add-log-exp_binary64 add-cube-cbrt_binary64
7×cbrt-unprod_binary64 prod-exp_binary64
6×associate-*l*_binary64
4×pow-prod-down_binary64 flip3--_binary64 times-frac_binary64 flip--_binary64
3×associate-*r/_binary64 difference-of-squares_binary64
2×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 associate-/r/_binary64 unswap-sqr_binary64 distribute-lft-out--_binary64 div-exp_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate--l-_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-sub_binary64 div-inv_binary64
Counts
4 → 84
Calls
4 calls:
37.0ms
(*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 x1 4.0))) (+.f64 (*.f64 x1 x1) 1.0)))
19.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
36.0ms
(-.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 x1 4.0))) (+.f64 (*.f64 x1 x1) 1.0))) (*.f64 6.0 (*.f64 x1 x1)))
23.0ms
(*.f64 (*.f64 x1 x1) (+.f64 (*.f64 3.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) x1))

series150.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 x1 4.0))) (+.f64 (*.f64 x1 x1) 1.0)))
18.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)
75.0ms
(-.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2.0 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 x1 4.0))) (+.f64 (*.f64 x1 x1) 1.0))) (*.f64 6.0 (*.f64 x1 x1)))
21.0ms
(*.f64 (*.f64 x1 x1) (+.f64 (*.f64 3.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) x1))

simplify75.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049643724
149643724

prune374.0ms

Filtered
72 candidates to 96 candidates (-33.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New96096
Fresh088
Picked011
Done000
Total969105

Merged error: 0.3b

Counts
105 → 9

localize52.0ms

Local error

Found 4 expressions with local error:

8.1b
(+.f64 (*.f64 (*.f64 (*.f64 2.0 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0))) (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))) (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))))
21.9b
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
21.9b
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
21.9b
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
446×associate-*r/_binary64
276×cbrt-div_binary64
192×frac-times_binary64
190×flip3--_binary64 flip--_binary64
130×frac-add_binary64
96×associate-*l/_binary64
6×add-log-exp_binary64
4×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
3×pow1/3_binary64 cbrt-prod_binary64
2×sub-neg_binary64 associate-+l+_binary64
1×flip3-+_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 176
Calls
4 calls:
53.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2.0 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0))) (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))) (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))))
19.0ms
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
24.0ms
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
20.0ms
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))

series195.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2.0 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3.0 x1) x1) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0)) 3.0)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0))) (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))) (cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))))
39.0ms
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
36.0ms
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))
38.0ms
(cbrt.f64 (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4.0 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3.0)) (*.f64 2.0 x2)) x1) (+.f64 (*.f64 x1 x1) 1.0))) 6.0)))

simplify231.0ms

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
0505446212

prune1.6s

Filtered
98 candidates to 188 candidates (-91.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1880188
Fresh077
Picked011
Done011
Total1889197

Merged error: 0.3b

Counts
197 → 9

regimes262.0ms

Accuracy

0% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch0.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0126107
1126107

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.5s6945×body80valid
1.2s5730×body80invalid
356.0ms411×body640valid
213.0ms189×body1280valid
179.0ms273×body320valid
80.0ms182×body160valid

Profiling

Loading profile data...