Details

Time bar (total: 57.7s)

sample292.0ms

Algorithm
intervals
Results
103.0ms453×body80valid
59.0ms15×body320valid
8.0ms10×body640valid
7.0ms7×body1280valid
3.0ms5×body160valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done5000
31913
2369
1103
035

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize97.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.8s

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:
607.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
686.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)))
243.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
295.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series931.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
518.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)))
99.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
165.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify532.0ms

Counts
128 → 128
Iterations
IterNodes
done5001
11111
0311

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize128.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))
2.0b
(- (/ (- (+ (* (* 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 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)))) (* 6.0 (- (pow x1 2)))))
5.4b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
43×add-cbrt-cube add-exp-log
30×add-sqr-sqrt
27×associate-*r*
24×*-un-lft-identity
23×prod-exp cbrt-unprod
22×pow1
17×times-frac
16×associate-*r/
14×add-cube-cbrt
12×pow-prod-down
11×add-log-exp
10×frac-add
7×flip3-+ flip3-- flip-+ flip-- difference-of-squares
6×frac-times
5×cbrt-undiv sub-neg div-exp distribute-lft-out--
4×distribute-rgt-in associate-+l+ distribute-lft-in
3×sum-log associate-*l/
2×associate-+r- associate-*l* associate-/r/ *-commutative distribute-rgt-neg-out
1×associate--l- +-commutative associate-+r+ diff-log div-sub unsub-neg div-inv
Counts
4 → 128
Calls
4 calls:
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))
615.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) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)))) (* 6.0 (- (pow x1 2)))))
280.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series1.2s

Counts
4 → 12
Calls
4 calls:
440.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))
145.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
527.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 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)))) (* 6.0 (- (pow x1 2)))))
117.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify677.0ms

Counts
140 → 140
Iterations
IterNodes
done5000
11207
0340

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize197.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x1 (+ (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0)) (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))
2.0b
(- (/ (- (+ (* (* 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 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0)) (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
5.4b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
25×add-sqr-sqrt
24×associate-*r*
22×*-un-lft-identity
18×pow1
16×times-frac
15×prod-exp cbrt-unprod
14×associate-*r/ add-cube-cbrt
9×pow-prod-down
8×add-log-exp
6×frac-times flip3-- flip--
5×sub-neg flip3-+ frac-add flip-+ difference-of-squares
4×distribute-rgt-in associate-+l+ distribute-lft-in distribute-lft-out--
3×cbrt-undiv div-exp associate-*l/
2×associate-*l* associate-/r/ *-commutative
1×associate--l- +-commutative sum-log diff-log div-sub div-inv
Counts
4 → 112
Calls
4 calls:
256.0ms
(* (* x1 (+ (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0)) (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))
660.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
1.1s
(+ (* (* (* 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 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0)) (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
217.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series1.2s

Counts
4 → 12
Calls
4 calls:
422.0ms
(* (* x1 (+ (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0)) (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))
187.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
520.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 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0)) (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
90.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify564.0ms

Counts
124 → 124
Iterations
IterNodes
done5000
11148
0332

prune1.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize562.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)
2.0b
(- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)
5.4b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
6.3b
(+ (* (* (* (* (cbrt (- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)) (cbrt (- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0))) 2.0) (* x1 (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (+ (* x1 (* (* x1 4.0) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)))) (* 6.0 (- (pow x1 2)))))

rewrite25.0s

Algorithm
rewrite-expression-head
Rules
216×cbrt-div
202×associate-*l/
164×frac-times
110×flip3-- flip--
106×frac-add
89×associate-*r/
55×flip3-+ flip-+
29×add-sqr-sqrt
25×add-cbrt-cube add-exp-log
23×*-un-lft-identity
21×associate-*r*
17×times-frac
13×pow1 add-cube-cbrt add-log-exp
12×prod-exp cbrt-unprod
7×difference-of-squares
6×pow-prod-down
5×distribute-lft-out--
4×associate-+r-
3×cbrt-undiv sum-log div-exp
2×associate--l- sub-neg diff-log div-sub associate-/r/ distribute-rgt-neg-out
1×+-commutative associate-+r+ associate-*l* unsub-neg *-commutative div-inv
Counts
4 → 199
Calls
4 calls:
381.0ms
(- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)
397.0ms
(- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)
254.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
23.9s
(+ (* (* (* (* (cbrt (- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)) (cbrt (- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0))) 2.0) (* x1 (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (+ (* x1 (* (* x1 4.0) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)))) (* 6.0 (- (pow x1 2)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
168.0ms
(- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)
171.0ms
(- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)
88.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
710.0ms
(+ (* (* (* (* (cbrt (- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0)) (cbrt (- (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))) 3.0))) 2.0) (* x1 (/ (+ (* 2.0 x2) (- (* 3.0 (* x1 x1)) x1)) (+ 1.0 (* x1 x1))))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (+ (* x1 (* (* x1 4.0) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)))) (* 6.0 (- (pow x1 2)))))

simplify1.2s

Counts
211 → 211
Iterations
IterNodes
done5002
13019
0763

prune4.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.3b

regimes473.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify16.0ms

Iterations
IterNodes
done80
380
278
176
049

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.7s14061×body80valid
598.0ms178×body1280valid
301.0ms410×body640valid
157.0ms316×body320valid
157.0ms179×body160valid