Details

Time bar (total: 49.4s)

sample384.0ms

Algorithm
intervals
Results
170.0ms440×body80valid
19.0ms19×body640valid
9.0ms8×body1280valid
9.0ms12×body320valid
4.0ms8×body160valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5003
31816
2407
1109
035

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize262.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.1s

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-cbrt-cube add-exp-log
24×associate-*r*
23×associate-*r/
22×associate-/r/
21×fma-neg
18×pow1
15×prod-exp cbrt-unprod
12×flip3-+ flip-+
11×flip3-- div-inv flip--
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×associate--l- +-commutative sum-log fma-def diff-log div-sub unswap-sqr
Counts
4 → 347
Calls
4 calls:
925.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)))
674.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
234.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
257.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series982.0ms

Counts
4 → 12
Calls
4 calls:
554.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)))
169.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
85.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
173.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify2.7s

Counts
359 → 359
Iterations
IterNodes
done5001
11497
0449

prune4.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize211.0ms

Local error

Found 4 expressions with local error:

1.6b
(+ (* (* (* 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)) (+ (* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1)) (* (fma 6.0 -1 6.0) (* x1 x1))))
2.2b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.1b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.1b
(* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
239×add-sqr-sqrt
235×*-un-lft-identity
189×prod-diff
167×add-cube-cbrt
166×times-frac
130×associate-+l+
65×distribute-rgt-in distribute-lft-in
35×difference-of-squares
34×distribute-lft-out--
30×add-cbrt-cube add-exp-log
22×associate-*r* associate-/r/
21×fma-neg
18×pow1
17×flip3-+ flip-+
15×prod-exp cbrt-unprod
11×associate-*r/ div-inv add-log-exp
10×frac-add
9×pow-prod-down
5×flip3-- flip--
4×expm1-log1p-u frac-times associate-*l* log1p-expm1-u
3×cbrt-undiv sum-log sub-neg div-exp
2×associate-*l/ *-commutative
1×associate--l- +-commutative associate-+r+ fma-def diff-log div-sub unswap-sqr
Counts
4 → 327
Calls
4 calls:
916.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)) (+ (* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1)) (* (fma 6.0 -1 6.0) (* x1 x1))))
837.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
292.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
14.0ms
(* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1))

series1.8s

Counts
4 → 12
Calls
4 calls:
1.4s
(+ (* (* (* 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)) (+ (* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1)) (* (fma 6.0 -1 6.0) (* x1 x1))))
166.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
81.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
189.0ms
(* (fma 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (- (* (sqrt 6.0) (sqrt 6.0)))) (* x1 x1))

simplify2.5s

Counts
339 → 339
Iterations
IterNodes
done5001
11374
0416

prune5.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize505.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
62×associate-*r/
36×cbrt-div
30×frac-add
28×flip3-- flip--
12×frac-times
11×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
9×cbrt-prod pow1 add-cbrt-cube add-exp-log
6×prod-diff associate-*l/
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-+ pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod flip-+
2×sub-neg
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 108
Calls
4 calls:
286.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
612.0ms
(cbrt (+ (* (* (* 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))))
513.0ms
(cbrt (+ (* (* (* 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))))
564.0ms
(cbrt (+ (* (* (* 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))))

series2.2s

Counts
4 → 12
Calls
4 calls:
122.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
698.0ms
(cbrt (+ (* (* (* 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))))
669.0ms
(cbrt (+ (* (* (* 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))))
690.0ms
(cbrt (+ (* (* (* 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))))

simplify4.6s

Counts
120 → 120
Iterations
IterNodes
done5000
24181
1891
0265

prune2.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize215.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 3.0 x1) x1)
2.2b
(- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0)
4.2b
(* x1 (fma x1 (- (* 4.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) 6.0) (* (* 2.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) (- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0))))
8.1b
(fma x1 (- (* 4.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) 6.0) (* (* 2.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) (- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
50×*-un-lft-identity
48×add-cube-cbrt
39×prod-diff
37×times-frac
13×fma-neg
11×pow1 add-cbrt-cube add-exp-log
6×associate-*r* add-log-exp
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u div-inv
3×fma-udef
2×*-commutative difference-of-squares
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- diff-log flip-- distribute-lft-out-- unswap-sqr
Counts
4 → 121
Calls
4 calls:
25.0ms
(* (* 3.0 x1) x1)
20.0ms
(- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0)
6.0ms
(* x1 (fma x1 (- (* 4.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) 6.0) (* (* 2.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) (- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0))))
0.0ms
(fma x1 (- (* 4.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) 6.0) (* (* 2.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) (- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0)))

series950.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (* 3.0 x1) x1)
166.0ms
(- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0)
366.0ms
(* x1 (fma x1 (- (* 4.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) 6.0) (* (* 2.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) (- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0))))
367.0ms
(fma x1 (- (* 4.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) 6.0) (* (* 2.0 (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0))) (- (/ (fma x2 2.0 (- (* (* 3.0 x1) x1) x1)) (fma x1 x1 1.0)) 3.0)))

simplify2.4s

Counts
133 → 133
Iterations
IterNodes
done5000
21463
1560
0229

prune1.7s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

regimes489.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify26.0ms

Iterations
IterNodes
done65
165
041

end0.0ms

sample6.2s

Algorithm
intervals
Results
4.1s13893×body80valid
997.0ms409×body640valid
298.0ms187×body1280valid
163.0ms301×body320valid
99.0ms143×body160valid