Details

Time bar (total: 33.0s)

sample460.0ms

Algorithm
intervals
Results
173.0ms440×body80valid
38.0ms4×body1280valid
12.0ms10×body640valid
7.0ms9×body320valid
4.0ms8×body160valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5000
31913
2369
1103
035

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize206.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b
(+ (* (* (* 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.8b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.8b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite2.0s

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:
681.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
778.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)))
231.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
323.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series894.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
490.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)))
86.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
163.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify633.0ms

Counts
128 → 128
Iterations
IterNodes
done5001
11111
0311

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize191.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 6.0 (- (pow x1 2)))
4.1b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b
(+ (* (* (* 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)))))
4.8b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
41×associate-*r*
32×add-sqr-sqrt
27×*-un-lft-identity add-cbrt-cube add-exp-log
19×add-cube-cbrt
16×times-frac
15×pow1
13×prod-exp cbrt-unprod
11×associate-*r/ add-log-exp
10×frac-add
8×distribute-lft-neg-in distribute-rgt-neg-in
7×flip3-+ pow-prod-down flip-+
6×unpow-prod-down
5×flip3-- flip-- difference-of-squares
4×frac-times associate-+l+ associate-*l* distribute-lft-out--
3×cbrt-undiv sum-log sub-neg div-exp distribute-rgt-neg-out
2×distribute-rgt-in associate-+r- distribute-lft-in associate-*l/ associate-/r/ *-commutative unpow2 sqr-pow
1×associate--l- +-commutative associate-+r+ neg-mul-1 diff-log div-sub unsub-neg div-inv unswap-sqr
Counts
4 → 127
Calls
4 calls:
17.0ms
(* 6.0 (- (pow x1 2)))
622.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 (- (pow x1 2)))))
284.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series829.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* 6.0 (- (pow x1 2)))
171.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
514.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)))))
103.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify586.0ms

Counts
139 → 139
Iterations
IterNodes
done5001
11150
0349

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize280.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))
4.1b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b
(+ (* (* (* 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)))
4.8b
(* (* (* 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:
314.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))
602.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
960.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)))
306.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series1.3s

Counts
4 → 12
Calls
4 calls:
415.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))
167.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
567.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)))
108.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify898.0ms

Counts
124 → 124
Iterations
IterNodes
done5000
11148
0332

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

localize403.0ms

Local error

Found 4 expressions with local error:

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

rewrite790.0ms

Algorithm
rewrite-expression-head
Rules
91×associate-*r/
36×cbrt-div
30×frac-add
27×flip3-- flip--
25×add-cbrt-cube add-exp-log
22×add-sqr-sqrt *-un-lft-identity
21×associate-*r*
16×add-cube-cbrt
15×times-frac
13×pow1
12×frac-times prod-exp cbrt-unprod
9×cbrt-prod
6×pow-prod-down associate-*l/
4×flip3-+ flip-+ 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:
322.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
172.0ms
(cbrt (+ (* x1 (* x1 (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (* (* (* 2.0 x1) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) (- (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)) 3.0))))
147.0ms
(cbrt (+ (* x1 (* x1 (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (* (* (* 2.0 x1) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) (- (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)) 3.0))))
137.0ms
(cbrt (+ (* x1 (* x1 (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (* (* (* 2.0 x1) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) (- (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)) 3.0))))

series2.1s

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
694.0ms
(cbrt (+ (* x1 (* x1 (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (* (* (* 2.0 x1) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) (- (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)) 3.0))))
668.0ms
(cbrt (+ (* x1 (* x1 (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (* (* (* 2.0 x1) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) (- (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)) 3.0))))
625.0ms
(cbrt (+ (* x1 (* x1 (- (* 4.0 (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) 6.0))) (* (* (* 2.0 x1) (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0))) (- (/ (- (+ (* 3.0 (pow x1 2)) (* x2 2.0)) x1) (+ (pow x1 2) 1.0)) 3.0))))

simplify592.0ms

Counts
127 → 127
Iterations
IterNodes
done5000
1999
0308

prune3.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.4b

regimes849.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify23.0ms

Iterations
IterNodes
done80
380
278
176
049

end0.0ms

sample5.7s

Algorithm
intervals
Results
4.3s13935×body80valid
355.0ms432×body640valid
232.0ms288×body320valid
180.0ms161×body1280valid
66.0ms178×body160valid