Details

Time bar (total: 1.6m)

sample1.2s

Algorithm
intervals
Results
704.0ms472×body80valid
49.0ms14×body320valid
46.0ms8×body160valid
18.0ms11×body640valid
10.0ms4×body1280valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done2026
42026
31608
2351
1107
035

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize157.0ms

Local error

Found 4 expressions with local error:

3.1b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
4.1b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
4.2b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
4.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)))

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+ 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:
560.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
225.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
197.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
611.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)))

series735.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
83.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
95.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
442.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)))

simplify1.7s

Counts
132 → 132
Iterations
IterNodes
done2002
22002
11096
0310

prune3.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize184.0ms

Local error

Found 4 expressions with local error:

3.1b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
4.1b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
4.2b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
4.8b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite7.0s

Algorithm
rewrite-expression-head
Rules
247×associate-*r/
216×cbrt-div
164×frac-times
163×flip3-- flip--
106×frac-add
58×associate-*l/
30×add-cbrt-cube add-exp-log
26×add-sqr-sqrt
24×associate-*r*
22×*-un-lft-identity
18×pow1
16×times-frac
15×prod-exp cbrt-unprod
14×add-cube-cbrt
9×pow-prod-down
8×add-log-exp
5×sub-neg difference-of-squares
4×distribute-rgt-in associate-+r+ distribute-lft-in insert-posit16 distribute-lft-out--
3×cbrt-undiv div-exp
2×flip3-+ associate-*l* associate-/r/ *-commutative flip-+
1×associate--l- +-commutative sum-log diff-log div-sub div-inv unswap-sqr
Counts
4 → 212
Calls
4 calls:
525.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
225.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
255.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
6.0s
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

series776.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
69.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
117.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
488.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

simplify3.2s

Counts
224 → 224
Iterations
IterNodes
done2000
12000
0705

prune7.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize269.0ms

Local error

Found 4 expressions with local error:

4.8b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
9.8b
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
9.8b
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
9.8b
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))

rewrite21.5s

Algorithm
rewrite-expression-head
Rules
1188×cbrt-div
976×associate-*r/
656×frac-times
644×flip3-- flip--
424×frac-add
232×associate-*l/
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×pow1 associate-+r+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16
3×pow1/3
2×distribute-rgt-in sub-neg distribute-lft-in
1×+-commutative sum-log
Counts
4 → 482
Calls
4 calls:
5.6s
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
5.7s
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
5.1s
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
5.2s
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))

series2.0s

Counts
4 → 12
Calls
4 calls:
467.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
498.0ms
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
530.0ms
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
512.0ms
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))

simplify4.9s

Counts
494 → 494
Iterations
IterNodes
done2001
12001
0759

prune26.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize87.0ms

Local error

Found 4 expressions with local error:

4.1b
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))
4.2b
(* (* x1 x1) (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) -6))
4.8b
(+ (* (* x1 x1) (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) -6)) (* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))))
6.5b
(* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
48×add-cbrt-cube add-exp-log
31×associate-*r/
27×pow1
26×prod-exp cbrt-unprod
19×associate-*r*
18×associate-*l/
15×pow-prod-down
14×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
10×frac-add
9×times-frac
8×flip3-+ flip-+
6×frac-times flip3-- flip-- add-log-exp
5×cbrt-undiv div-exp associate-*l*
4×insert-posit16
3×*-commutative
2×distribute-rgt-in associate-+l+ distribute-lft-in associate-/r/
1×+-commutative sum-log div-inv unswap-sqr
Counts
4 → 120
Calls
4 calls:
62.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))
57.0ms
(* (* x1 x1) (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) -6))
211.0ms
(+ (* (* x1 x1) (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) -6)) (* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))))
765.0ms
(* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))

series878.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(* (* (* 3 x1) x1) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))
92.0ms
(* (* x1 x1) (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) -6))
394.0ms
(+ (* (* x1 x1) (+ (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) -6)) (* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))))
296.0ms
(* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))

simplify1.5s

Counts
132 → 132
Iterations
IterNodes
done2003
22003
11152
0328

prune2.5s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.3b

regimes435.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify44.0ms

Iterations
IterNodes
done65
165
041

end0.0ms

sample6.9s

Algorithm
intervals
Results
5.3s13940×body80valid
549.0ms432×body640valid
366.0ms192×body1280valid
287.0ms292×body320valid
122.0ms180×body160valid