Details

Time bar (total: 46.2s)

sample296.0ms

Algorithm
intervals
Results
130.0ms437×body80valid
14.0ms17×body640valid
11.0ms9×body1280valid
6.0ms11×body320valid
4.0ms9×body160valid

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: done (2.4s)

IterNodesCost
035127
1109115
2415110
32032108
done5000105

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize110.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.5b
(+ (* (* (* 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)))
6.3b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
6.4b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
243×add-sqr-sqrt
239×*-un-lft-identity
201×prod-diff
171×add-cube-cbrt
166×times-frac
130×associate-+l+
75×distribute-rgt-in distribute-lft-in
35×difference-of-squares
34×distribute-lft-out--
30×add-exp-log add-cbrt-cube
24×associate-*r*
23×associate-*r/
22×associate-/r/
21×fma-neg
18×pow1
15×prod-exp cbrt-unprod
12×flip3-+ flip-+
11×flip3-- flip-- div-inv
10×associate-+r+ frac-add
9×pow-prod-down
8×add-log-exp
7×sub-neg
4×expm1-log1p-u frac-times log1p-expm1-u
3×cbrt-undiv div-exp
2×associate-*l* associate-*l/ *-commutative
1×+-commutative associate--l- fma-def diff-log div-sub sum-log unswap-sqr
Counts
4 → 347
Calls
4 calls:
845.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
932.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)))
351.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
438.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series860.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
457.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)))
100.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
168.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify982.0ms

Counts
359 → 359
Iterations

Useful iterations: done (952.0ms)

IterNodesCost
044919042
1138515724
done500014759

prune3.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize136.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.5b
(+ (* (* (* 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 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
6.3b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
6.3b
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
237×add-sqr-sqrt
234×*-un-lft-identity
189×prod-diff
166×add-cube-cbrt times-frac
130×associate-+l+
65×distribute-rgt-in distribute-lft-in
46×add-exp-log add-cbrt-cube
35×difference-of-squares
34×distribute-lft-out--
25×pow1 prod-exp cbrt-unprod
22×associate-*r* associate-/r/
21×fma-neg
17×flip3-+ flip-+
14×pow-prod-down
12×associate-*r/
11×div-inv add-log-exp
10×frac-add
5×cbrt-undiv flip3-- div-exp flip--
4×expm1-log1p-u frac-times log1p-expm1-u
3×sub-neg associate-*l/ sum-log
2×distribute-lft-neg-out associate-+r- associate-*l* *-commutative
1×+-commutative associate--l- associate-+r+ fma-def diff-log div-sub unsub-neg
Counts
4 → 337
Calls
4 calls:
826.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
1.3s
(+ (* (* (* 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 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
350.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
71.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

series997.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
589.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 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
127.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
117.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

simplify1.4s

Counts
349 → 349
Iterations

Useful iterations: done (1.4s)

IterNodesCost
044219166
1135415636
done500114332

prune3.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

localize171.0ms

Local error

Found 4 expressions with local error:

2.6b
(* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
3.8b
(* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1))
6.3b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
8.3b
(+ (* (* (* 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)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
336×cbrt-div
264×associate-*l/
224×frac-times
220×flip3-- flip--
181×associate-*r/
153×add-sqr-sqrt *-un-lft-identity
130×associate-+l+ frac-add
126×prod-diff
111×add-cube-cbrt
105×times-frac
65×distribute-rgt-in distribute-lft-in
59×pow1
55×add-exp-log
42×add-cbrt-cube
33×pow-prod-down prod-exp cbrt-unprod
28×associate-*r*
21×distribute-lft-out-- difference-of-squares
14×associate-/r/
8×flip3-+ flip-+
7×div-inv
6×add-log-exp
4×expm1-log1p-u pow-plus pow-prod-up log1p-expm1-u
3×cbrt-undiv cbrt-prod div-exp associate-*l* *-commutative
2×pow2 sub-neg pow-sqr
1×+-commutative fma-def sum-log unswap-sqr
Counts
4 → 419
Calls
4 calls:
926.0ms
(* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
247.0ms
(* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1))
335.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.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)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

series2.1s

Counts
4 → 12
Calls
4 calls:
499.0ms
(* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
402.0ms
(* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1))
88.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.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)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

simplify1.4s

Counts
431 → 431
Iterations

Useful iterations: done (1.3s)

IterNodesCost
088776439
1262369580
done500266043

prune6.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.2b

localize176.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
30×associate-*l/
25×add-exp-log add-cbrt-cube
21×associate-*r*
19×add-sqr-sqrt *-un-lft-identity
18×flip3-- flip--
15×times-frac
13×pow1 add-cube-cbrt
12×frac-times prod-exp cbrt-unprod
7×associate-*r/
6×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv cbrt-prod pow1/3 div-exp distribute-lft-out-- difference-of-squares
2×associate-/r/
1×flip3-+ associate-*l* *-commutative flip-+ div-inv
Counts
4 → 105
Calls
4 calls:
382.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
179.0ms
(cbrt (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)))
203.0ms
(cbrt (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)))
231.0ms
(cbrt (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)))

series1.4s

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
454.0ms
(cbrt (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)))
459.0ms
(cbrt (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)))
418.0ms
(cbrt (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)))

simplify2.1s

Counts
117 → 117
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02516772
16766437
226025827
done50005812

prune2.0s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.2b

regimes440.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
041130
165130
269130
373130
done73130

end0.0ms

sample6.2s

Algorithm
intervals
Results
3.9s13946×body80valid
853.0ms412×body640valid
377.0ms340×body320valid
321.0ms177×body1280valid
77.0ms199×body160valid