Details

Time bar (total: 53.2s)

sample328.0ms

Algorithm
intervals
Results
173.0ms439×body80valid
41.0ms10×body320valid
20.0ms16×body640valid
7.0ms3×body1280valid
6.0ms9×body160valid

simplify7.0s

Counts
1 → 1
Iterations
IterNodes
49717
31592
2349
1105
035

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize161.0ms

Local error

Found 4 expressions with local error:

2.8b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
3.2b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
5.1b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
5.1b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
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×associate--l- +-commutative sum-log diff-log div-sub div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
507.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
422.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
155.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
183.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series735.0ms

Counts
4 → 12
Calls
4 calls:
391.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
128.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
90.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
125.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

simplify5.5s

Counts
128 → 128
Iterations
IterNodes
25041
11094
0306

prune2.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize158.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ x1 (* 3 (/ (+ (- (* (* x1 x1) 3) x1) (* x2 -2)) (+ 1 (* x1 x1)))))
0.2b
(* (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) (+ (* (* x1 x1) 3) (* (* 2 (+ 1 (* x1 x1))) (* (- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3) x1))))
3.2b
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
5.1b
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

rewrite343.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
16×associate-*l*
15×*-un-lft-identity
14×add-cbrt-cube add-exp-log
13×add-cube-cbrt
11×pow1 times-frac
8×add-log-exp
6×associate-*r*
5×flip3-+ prod-exp cbrt-unprod flip-+
4×pow-prod-down associate-*r/
3×unswap-sqr
2×distribute-rgt-in frac-times distribute-lft-in associate-/r/ *-commutative difference-of-squares
1×associate--l- cbrt-undiv +-commutative sum-log sub-neg flip3-- diff-log div-sub div-exp associate-*l/ div-inv flip-- distribute-lft-out--
Counts
4 → 90
Calls
4 calls:
42.0ms
(+ x1 (* 3 (/ (+ (- (* (* x1 x1) 3) x1) (* x2 -2)) (+ 1 (* x1 x1)))))
107.0ms
(* (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) (+ (* (* x1 x1) 3) (* (* 2 (+ 1 (* x1 x1))) (* (- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3) x1))))
100.0ms
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
93.0ms
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

series1.1s

Counts
4 → 12
Calls
4 calls:
102.0ms
(+ x1 (* 3 (/ (+ (- (* (* x1 x1) 3) x1) (* x2 -2)) (+ 1 (* x1 x1)))))
759.0ms
(* (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) (+ (* (* x1 x1) 3) (* (* 2 (+ 1 (* x1 x1))) (* (- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3) x1))))
152.0ms
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
121.0ms
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

simplify3.1s

Counts
102 → 102
Iterations
IterNodes
23753
1873
0250

prune2.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

localize126.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ x1 (* 3 (/ (+ (- (* (* x1 x1) 3) x1) (* x2 -2)) (+ 1 (* x1 x1)))))
0.2b
(* (- (* x2 2) (- x1 (* (* x1 x1) 3))) (* (/ 1 (+ 1 (* x1 x1))) (+ (* (* x1 x1) 3) (* (* 2 (+ 1 (* x1 x1))) (* (- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3) x1)))))
3.2b
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
5.1b
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
18×add-cbrt-cube
16×frac-times
14×pow1
13×associate-*r/
12×add-sqr-sqrt prod-exp
8×*-un-lft-identity flip3-+ cbrt-unprod flip-+ add-log-exp
7×flip3-- flip--
6×pow-prod-down add-cube-cbrt
5×distribute-rgt-in distribute-lft-in associate-*l/
4×associate-*r* associate-*l*
2×div-exp *-commutative difference-of-squares
1×associate--l- cbrt-undiv +-commutative rec-exp sum-log sub-neg times-frac diff-log 1-exp div-sub distribute-lft-out-- unswap-sqr
Counts
4 → 93
Calls
4 calls:
41.0ms
(+ x1 (* 3 (/ (+ (- (* (* x1 x1) 3) x1) (* x2 -2)) (+ 1 (* x1 x1)))))
166.0ms
(* (- (* x2 2) (- x1 (* (* x1 x1) 3))) (* (/ 1 (+ 1 (* x1 x1))) (+ (* (* x1 x1) 3) (* (* 2 (+ 1 (* x1 x1))) (* (- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3) x1)))))
128.0ms
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
130.0ms
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

series1.2s

Counts
4 → 12
Calls
4 calls:
118.0ms
(+ x1 (* 3 (/ (+ (- (* (* x1 x1) 3) x1) (* x2 -2)) (+ 1 (* x1 x1)))))
803.0ms
(* (- (* x2 2) (- x1 (* (* x1 x1) 3))) (* (/ 1 (+ 1 (* x1 x1))) (+ (* (* x1 x1) 3) (* (* 2 (+ 1 (* x1 x1))) (* (- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3) x1)))))
131.0ms
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
103.0ms
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

simplify3.6s

Counts
105 → 105
Iterations
IterNodes
24607
1948
0284

prune2.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.1b

localize164.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- (* x2 2) (- x1 (* (* x1 x1) 3))))
0.6b
(cbrt (- (* x2 2) (- x1 (* (* x1 x1) 3))))
3.2b
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
5.1b
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×pow1 *-un-lft-identity add-cbrt-cube add-exp-log
7×add-cube-cbrt
6×cbrt-prod add-log-exp
4×cbrt-div
3×flip3-- associate-*r* pow-prod-down prod-exp cbrt-unprod flip--
2×pow1/3 associate-*r/ difference-of-squares
1×associate--l- distribute-rgt-in sub-neg distribute-lft-in flip3-+ times-frac diff-log div-sub associate-*l* *-commutative flip-+ distribute-lft-out-- unswap-sqr
Counts
4 → 65
Calls
4 calls:
13.0ms
(cbrt (- (* x2 2) (- x1 (* (* x1 x1) 3))))
13.0ms
(cbrt (- (* x2 2) (- x1 (* (* x1 x1) 3))))
113.0ms
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
104.0ms
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

series2.1s

Counts
4 → 12
Calls
4 calls:
909.0ms
(cbrt (- (* x2 2) (- x1 (* (* x1 x1) 3))))
844.0ms
(cbrt (- (* x2 2) (- x1 (* (* x1 x1) 3))))
167.0ms
(- (/ (- (* x2 2) (- x1 (* (* x1 x1) 3))) (+ 1 (* x1 x1))) 3)
144.0ms
(* (* x1 x1) (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6))

simplify6.6s

Counts
77 → 77
Iterations
IterNodes
38112
21556
1476
0167

prune2.4s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

regimes611.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify17.0ms

Iterations
IterNodes
260
160
040

end0.0ms

sample8.0s

Algorithm
intervals
Results
6.1s14064×body80valid
732.0ms429×body640valid
402.0ms292×body320valid
254.0ms163×body1280valid
104.0ms166×body160valid