Details

Time bar (total: 9.4s)

sample338.0ms

Algorithm
intervals
Results
197.0ms11×body640valid
102.0ms454×body80valid
7.0ms11×body320valid
4.0ms4×body1280valid
2.0ms4×body160valid

simplify442.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
05111110

prune25.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

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b
(* x1 (* x1 3.0))
0.2b
(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
3.1b
(+ (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* x1 (* x1 (neg 6.0))))
4.6b
(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
18×associate-*l*
15×*-un-lft-identity
14×add-exp-log add-cbrt-cube
13×add-cube-cbrt
11×pow1 times-frac
8×add-log-exp
5×prod-exp cbrt-unprod
4×flip3-+ associate-*r* pow-prod-down distribute-rgt-neg-out flip-+
2×distribute-rgt-in frac-times associate-+l+ distribute-lft-in associate-*r/ associate-/r/ *-commutative difference-of-squares unswap-sqr
1×cbrt-undiv +-commutative associate--l- associate-+r- sub-neg flip3-- diff-log div-sub div-exp unsub-neg associate-*l/ sum-log flip-- div-inv distribute-lft-out--
Counts
4 → 89
Calls
4 calls:
5.0ms
(* x1 (* x1 3.0))
35.0ms
(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
37.0ms
(+ (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* x1 (* x1 (neg 6.0))))
20.0ms
(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series127.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* x1 (* x1 3.0))
30.0ms
(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
71.0ms
(+ (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* x1 (* x1 (neg 6.0))))
22.0ms
(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify44.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
051013593

prune527.0ms

Filtered
77 candidates to 101 candidates (-31.2%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New938101
Fresh011
Picked101
Done000
Total949103

Merged error: 0.4b

Counts
103 → 9

localize40.0ms

Local error

Found 4 expressions with local error:

3.0b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.7b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log add-cbrt-cube
26×add-sqr-sqrt
24×associate-*r*
23×associate-*r/
22×*-un-lft-identity
18×pow1
16×times-frac
15×prod-exp cbrt-unprod
14×add-cube-cbrt
11×flip3-- flip--
10×frac-add
9×pow-prod-down
8×add-log-exp
7×sub-neg
6×distribute-rgt-in distribute-lft-in
5×difference-of-squares
4×frac-times associate-+l+ associate-+r+ distribute-lft-out--
3×cbrt-undiv div-exp
2×flip3-+ associate-*l* associate-*l/ associate-/r/ *-commutative flip-+
1×+-commutative associate--l- diff-log div-sub sum-log div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
38.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
17.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
17.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
18.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series108.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
14.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
10.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
16.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify62.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049966272
149966272

prune684.0ms

Filtered
90 candidates to 128 candidates (-42.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1235128
Fresh358
Picked101
Done000
Total12710137

Merged error: 0.4b

Counts
137 → 10

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
3.0b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
4.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log add-cbrt-cube add-log-exp
24×add-sqr-sqrt
21×*-un-lft-identity associate-*r*
16×times-frac
13×pow1 add-cube-cbrt associate-*r/ sum-log
12×frac-add prod-exp cbrt-unprod
9×flip3-+ flip-+
6×pow-prod-down
5×associate-+l+ flip3-- flip-- difference-of-squares
4×frac-times distribute-rgt-neg-out distribute-lft-out--
3×cbrt-undiv sub-neg div-exp
2×+-commutative distribute-rgt-in associate-+r- distribute-lft-in associate-*l/ associate-/r/
1×associate--l- associate-+r+ diff-log div-sub associate-*l* unsub-neg *-commutative div-inv
Counts
4 → 108
Calls
4 calls:
75.0ms
(+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
52.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
17.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
19.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series235.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
73.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
14.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
10.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify59.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
055409442

prune942.0ms

Filtered
87 candidates to 120 candidates (-37.9%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1146120
Fresh459
Picked101
Done000
Total11911130

Merged error: 0.1b

Counts
130 → 11

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b
(* x1 (* x1 3.0))
0.2b
(* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))
3.1b
(+ (* (/ 1 (sqrt (+ (* x1 x1) 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))
4.6b
(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
25×associate-*r*
23×add-sqr-sqrt
21×add-exp-log add-cbrt-cube
20×*-un-lft-identity
19×times-frac
18×add-cube-cbrt
14×pow1
9×prod-exp sqrt-prod cbrt-unprod
8×add-log-exp
6×pow-prod-down
5×associate-*r/
4×flip3-+ associate-*l* distribute-rgt-neg-out flip-+
2×cbrt-undiv frac-times sqrt-div div-exp associate-*l/ associate-/r/ *-commutative difference-of-squares
1×+-commutative associate--l- associate-+r- sub-neg flip3-- diff-log div-sub unsub-neg sum-log flip-- div-inv distribute-lft-out--
Counts
4 → 95
Calls
4 calls:
5.0ms
(* x1 (* x1 3.0))
38.0ms
(* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))
46.0ms
(+ (* (/ 1 (sqrt (+ (* x1 x1) 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))
17.0ms
(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series117.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* x1 (* x1 3.0))
32.0ms
(* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))
68.0ms
(+ (* (/ 1 (sqrt (+ (* x1 x1) 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))
14.0ms
(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify72.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049683959
149683959

prune398.0ms

Filtered
73 candidates to 107 candidates (-46.6%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1070107
Fresh01010
Picked011
Done000
Total10711118

Merged error: 0.1b

Counts
118 → 11

regimes388.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
080118
180118

end0.0ms

sample4.2s

Algorithm
intervals
Results
3.0s14028×body80valid
333.0ms397×body640valid
185.0ms289×body320valid
184.0ms174×body1280valid
73.0ms173×body160valid

Profiling

Loading profile data...