Details

Time bar (total: 41.7s)

sample438.0ms

Algorithm
intervals
Results
291.0ms456×body80valid
10.0ms10×body640valid
9.0ms7×body1280valid
6.0ms8×body320valid
2.0ms5×body160valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: done (2.2s)

IterNodesCost
035127
1103127
2369125
31847121
done5001113

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize60.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0))))
2.7b
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
2.8b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.3b
(* (* 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
60×associate-*r/
40×frac-add
38×frac-times
35×flip3-+ flip-+
32×add-sqr-sqrt
23×*-un-lft-identity
22×associate-*l*
19×associate-*l/
17×flip3-- times-frac flip--
15×add-cube-cbrt
14×add-exp-log add-cbrt-cube
12×distribute-rgt-in distribute-lft-in
11×pow1
8×associate-+r+ add-log-exp
7×sub-neg
6×associate-*r*
5×prod-exp cbrt-unprod difference-of-squares
4×pow-prod-down distribute-lft-out--
3×unswap-sqr
2×associate-+l+ associate-/r/ *-commutative
1×cbrt-undiv +-commutative associate--l- diff-log div-sub div-exp sum-log div-inv
Counts
4 → 148
Calls
4 calls:
508.0ms
(* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0))))
238.0ms
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
826.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
385.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series1.8s

Counts
4 → 12
Calls
4 calls:
599.0ms
(* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0))))
854.0ms
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
177.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
175.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify908.0ms

Counts
160 → 160
Iterations

Useful iterations: done (884.0ms)

IterNodesCost
044819716
1166718202
done500017472

prune1.9s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.4b

localize62.0ms

Local error

Found 4 expressions with local error:

2.7b
(+ (* (* (* 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)))
2.8b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.3b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
30×add-exp-log add-cbrt-cube
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×+-commutative associate--l- diff-log div-sub sum-log div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
934.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)))
813.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
341.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
353.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series995.0ms

Counts
4 → 12
Calls
4 calls:
563.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)))
171.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
105.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
156.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify793.0ms

Counts
128 → 128
Iterations

Useful iterations: done (782.0ms)

IterNodesCost
03117088
110416786
done50016274

prune1.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.4b

localize61.0ms

Local error

Found 4 expressions with local error:

2.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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (- 6.0) (* x1 x1)))
2.8b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.2b
(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))

rewrite6.6s

Algorithm
rewrite-expression-head
Rules
46×add-exp-log add-cbrt-cube
25×pow1 prod-exp cbrt-unprod
24×add-sqr-sqrt
22×associate-*r*
21×*-un-lft-identity
16×times-frac
14×pow-prod-down
13×add-cube-cbrt
11×add-log-exp
5×cbrt-undiv div-exp difference-of-squares
4×distribute-lft-out--
3×sum-log
2×distribute-lft-neg-out flip3-+ associate-*r/ associate-*l* associate-/r/ *-commutative flip-+
1×+-commutative associate--l- sub-neg associate-+l+ flip3-- diff-log div-sub unsub-neg associate-*l/ flip-- div-inv
Counts
4 → 104
Calls
4 calls:
5.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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (- 6.0) (* x1 x1)))
717.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
366.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
426.0ms
(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))

series898.0ms

Counts
4 → 12
Calls
4 calls:
549.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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (- 6.0) (* x1 x1)))
160.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
82.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
108.0ms
(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))

simplify2.2s

Counts
116 → 116
Iterations

Useful iterations: 2 (804.0ms)

IterNodesCost
02634495
17604138
233183524
done50013524

prune926.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.4b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
1226×associate-*r/
840×frac-times
816×cbrt-div
408×flip3-- flip--
400×frac-add
300×associate-*l/
296×flip3-+ flip-+
6×add-log-exp
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×cbrt-prod pow1/3
2×associate-+l+
1×+-commutative distribute-rgt-in distribute-lft-in sum-log
Counts
4 → 446
Calls
4 calls:
569.0ms
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))))
95.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
116.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
124.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
717.0ms
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))))
281.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
270.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
285.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

simplify2.2s

Counts
458 → 458
Iterations

Useful iterations: done (2.0s)

IterNodesCost
01562205447
14483191856
done5002180596

prune4.8s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.4b

regimes677.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
042169
164169
done64169

end0.0ms

sample6.0s

Algorithm
intervals
Results
4.3s14071×body80valid
535.0ms423×body640valid
249.0ms290×body320valid
205.0ms178×body1280valid
53.0ms149×body160valid