Details

Time bar (total: 56.5s)

sample284.0ms

Algorithm
intervals
Results
142.0ms449×body80valid
11.0ms13×body640valid
7.0ms12×body320valid
4.0ms4×body1280valid
2.0ms6×body160valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done5000
31913
2369
1103
035

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize96.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.8b
(+ (* (* (* 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.9b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite1.6s

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:
481.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
621.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)))
263.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
261.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series957.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
526.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)))
146.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
129.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify576.0ms

Counts
128 → 128
Iterations
IterNodes
done5000
11110
0311

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize121.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.8b
(+ (* (* (* 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 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1)))) (* (* (- 6.0) x1) x1)))
4.9b
(* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1))))
4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
46×add-cbrt-cube add-exp-log
30×associate-*r*
27×add-sqr-sqrt
23×*-un-lft-identity prod-exp cbrt-unprod
19×times-frac
18×pow1
15×add-cube-cbrt
12×associate-*r/
11×add-log-exp
10×frac-add
9×pow-prod-down
8×flip3-+ flip-+
7×cbrt-undiv div-exp
5×flip3-- flip-- difference-of-squares
4×distribute-lft-neg-out frac-times associate-+l+ associate-/r/ distribute-lft-out--
3×sum-log sub-neg
2×distribute-rgt-in associate-+r- distribute-lft-in associate-*l* associate-*l/ *-commutative div-inv
1×associate--l- +-commutative associate-+r+ diff-log div-sub unsub-neg unswap-sqr
Counts
4 → 125
Calls
4 calls:
578.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
1.2s
(+ (* (* (* 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 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1)))) (* (* (- 6.0) x1) x1)))
152.0ms
(* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1))))
206.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series932.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
545.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 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1)))) (* (* (- 6.0) x1) x1)))
126.0ms
(* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1))))
111.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify642.0ms

Counts
137 → 137
Iterations
IterNodes
done5000
11279
0360

prune1.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize122.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ 1.0 (* x1 x1))) 3.0))
3.8b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ 1.0 (* x1 x1))) 3.0))) (+ (* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1)))) (* (* (- 6.0) x1) x1)))
4.9b
(* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1))))
4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
46×add-cbrt-cube add-exp-log
30×associate-*r*
27×add-sqr-sqrt
26×*-un-lft-identity
23×prod-exp cbrt-unprod
20×associate-*r/
19×times-frac
18×pow1 frac-add
17×flip3-+ flip-+
15×add-cube-cbrt
14×add-log-exp
10×frac-sub
9×pow-prod-down
8×frac-times
7×cbrt-undiv div-exp
5×flip3-- flip-- distribute-lft-out-- difference-of-squares
4×distribute-lft-neg-out associate-+l+ sum-log associate-/r/
3×sub-neg
2×distribute-rgt-in associate-+r- distribute-lft-in diff-log associate-*l* associate-*l/ *-commutative div-inv
1×+-commutative associate-+r+ unsub-neg distribute-lft-out associate--r+ unswap-sqr
Counts
4 → 137
Calls
4 calls:
267.0ms
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ 1.0 (* x1 x1))) 3.0))
974.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) 1.0)) (+ (/ x1 (+ 1.0 (* x1 x1))) 3.0))) (+ (* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1)))) (* (* (- 6.0) x1) x1)))
154.0ms
(* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1))))
250.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series872.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ 1.0 (* x1 x1))) 3.0))
524.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) 1.0)) (+ (/ x1 (+ 1.0 (* x1 x1))) 3.0))) (+ (* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1)))) (* (* (- 6.0) x1) x1)))
101.0ms
(* (* x1 x1) (/ (* 4.0 (+ (* 2.0 x2) (- (* (* 3.0 x1) x1) x1))) (+ 1.0 (* x1 x1))))
95.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify1.2s

Counts
149 → 149
Iterations
IterNodes
done5001
11579
0425

prune2.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.4b

localize174.0ms

Local error

Found 4 expressions with local error:

4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
9.8b
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))
9.8b
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))
9.8b
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))

rewrite967.0ms

Algorithm
rewrite-expression-head
Rules
43×associate-*r/
36×cbrt-div
30×frac-add
25×add-cbrt-cube add-exp-log
24×associate-*l/
22×add-sqr-sqrt *-un-lft-identity
21×associate-*r*
19×flip3-+ flip-+
16×add-cube-cbrt
15×times-frac
13×pow1
12×frac-times flip3-- prod-exp cbrt-unprod flip--
9×cbrt-prod
6×pow-prod-down
4×add-log-exp
3×cbrt-undiv pow1/3 div-exp distribute-lft-out-- difference-of-squares
2×associate-/r/
1×associate-*l* *-commutative div-inv
Counts
4 → 115
Calls
4 calls:
256.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
240.0ms
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))
233.0ms
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))
224.0ms
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))

series27.5s

Counts
4 → 12
Calls
4 calls:
112.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
9.4s
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))
9.1s
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))
8.9s
(cbrt (+ (* (* (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) (* x1 2.0)) (- (/ (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) (+ 1.0 (* x1 x1))) 3.0)) (* (* x1 x1) (+ (- 6.0) (/ (* (- (+ (* 2.0 x2) (* 3.0 (* x1 x1))) x1) 4.0) (+ (* x1 x1) 1.0))))))

simplify694.0ms

Counts
127 → 127
Iterations
IterNodes
done5000
11122
0348

prune2.7s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.4b

regimes657.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify25.0ms

Iterations
IterNodes
done82
382
279
171
045

end0.0ms

sample6.5s

Algorithm
intervals
Results
3.9s13987×body80valid
935.0ms446×body640valid
669.0ms165×body1280valid
286.0ms293×body320valid
124.0ms176×body160valid