Details

Time bar (total: 48.6s)

sample664.0ms

Algorithm
intervals
Results
389.0ms449×body80valid
19.0ms11×body640valid
19.0ms14×body320valid
12.0ms5×body1280valid
5.0ms6×body160valid

simplify6.5s

Counts
1 → 1

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize163.0ms

Local error

Found 4 expressions with local error:

5.2b
(* (- (/ (* 4 (+ (* (* x1 x1) 3) (- (* x2 2) x1))) (+ 1 (* x1 x1))) 6) (* x1 x1))
3.5b
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
0.3b
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
0.2b
(* (* x1 x1) 3)

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
21×associate-*l*
19×add-cbrt-cube add-exp-log
18×*-un-lft-identity
16×pow1
14×add-cube-cbrt
11×times-frac
8×prod-exp cbrt-unprod
7×associate-*r* pow-prod-down
6×add-log-exp
4×insert-posit16 unswap-sqr
3×flip3-+ associate-*l/ *-commutative flip-+ difference-of-squares
2×frac-times flip3-- associate-*r/ associate-/r/ flip-- distribute-lft-out--
1×associate--l- distribute-rgt-in cbrt-undiv associate-+r- sub-neg distribute-lft-in diff-log div-sub div-exp div-inv
Counts
4 → 102
Calls
4 calls:
Slowest
1.8s
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
613.0ms
(* (- (/ (* 4 (+ (* (* x1 x1) 3) (- (* x2 2) x1))) (+ 1 (* x1 x1))) 6) (* x1 x1))
271.0ms
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
27.0ms
(* (* x1 x1) 3)

series834.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
559.0ms
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
120.0ms
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
107.0ms
(* (- (/ (* 4 (+ (* (* x1 x1) 3) (- (* x2 2) x1))) (+ 1 (* x1 x1))) 6) (* x1 x1))
48.0ms
(* (* x1 x1) 3)

simplify2.3s

Counts
114 → 114

prune2.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize109.0ms

Local error

Found 4 expressions with local error:

3.5b
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
0.3b
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
0.2b
(* (* x1 x1) 3)
0.2b
(* (* x1 x1) 3)

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
19×add-cbrt-cube add-exp-log
17×associate-*l*
16×pow1 *-un-lft-identity
14×add-cube-cbrt
11×times-frac
9×associate-*r*
8×prod-exp cbrt-unprod
7×pow-prod-down
6×add-log-exp
4×insert-posit16 unswap-sqr
3×flip3-+ *-commutative flip-+
2×frac-times associate-*r/ associate-/r/ difference-of-squares
1×associate--l- distribute-rgt-in cbrt-undiv associate-+r- sub-neg distribute-lft-in flip3-- diff-log div-sub div-exp associate-*l/ div-inv flip-- distribute-lft-out--
Counts
4 → 98
Calls
4 calls:
Slowest
1.8s
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
213.0ms
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
25.0ms
(* (* x1 x1) 3)
14.0ms
(* (* x1 x1) 3)

series805.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
556.0ms
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3)))
149.0ms
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
56.0ms
(* (* x1 x1) 3)
43.0ms
(* (* x1 x1) 3)

simplify1.8s

Counts
110 → 110

prune2.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize147.0ms

Local error

Found 4 expressions with local error:

3.5b
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
0.2b
(* (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (* (/ 1 (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3))))
0.2b
(* (* x1 x1) 3)
0.2b
(* (* x1 x1) 3)

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
23×add-cbrt-cube
19×pow1
16×frac-times
15×prod-exp
14×add-sqr-sqrt
12×flip3-+ flip-+
11×associate-*r/ cbrt-unprod
9×*-un-lft-identity pow-prod-down
7×associate-*r* add-cube-cbrt
6×add-log-exp
5×associate-*l* associate-*l/
4×distribute-rgt-in distribute-lft-in insert-posit16
3×*-commutative
2×div-exp difference-of-squares unswap-sqr
1×associate--l- cbrt-undiv rec-exp associate-+r- sub-neg times-frac flip3-- diff-log 1-exp div-sub flip-- distribute-lft-out--
Counts
4 → 101
Calls
4 calls:
Slowest
1.7s
(* (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (* (/ 1 (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3))))
283.0ms
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
30.0ms
(* (* x1 x1) 3)
28.0ms
(* (* x1 x1) 3)

series781.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
577.0ms
(* (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (* (/ 1 (+ 1 (* x1 x1))) (+ (* x1 (* (* 2 (+ 1 (* x1 x1))) (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3))) (* (* x1 x1) 3))))
119.0ms
(- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3)
53.0ms
(* (* x1 x1) 3)
32.0ms
(* (* x1 x1) 3)

simplify2.2s

Counts
113 → 113

prune2.7s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.3b

localize122.0ms

Local error

Found 4 expressions with local error:

5.2b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
5.1b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
4.0b
(+ (* (* (* 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.5b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

rewrite1.5s

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+ insert-posit16 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 → 120
Calls
4 calls:
Slowest
553.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)))
463.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
250.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
229.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series738.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
422.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)))
121.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
120.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
75.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify3.0s

Counts
132 → 132

prune2.8s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.3b

regimes544.0ms

Accuracy

0% (0.1b remaining)

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

bsearch25.0ms

end0.0ms

sample8.8s

Algorithm
intervals
Results
6.3s14064×body80valid
752.0ms150×body1280valid
718.0ms419×body640valid
459.0ms330×body320valid
122.0ms178×body160valid