Details

Time bar (total: 16.9s)

sample62.0ms

Algorithm
intervals
Results
33.0ms256×body80valid

simplify1.7s

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
0.7b
(+ (* (+ x y) z) (* (+ t y) a))
1.3b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
25.8b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite381.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
23.0ms
(* (+ x y) z)
23.0ms
(+ (* (+ x y) z) (* (+ t y) a))
112.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
218.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (+ x y) z)
65.0ms
(+ (* (+ x y) z) (* (+ t y) a))
176.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
817.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify894.0ms

Counts
102 → 102

prune410.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
0.7b
(+ (* (+ x y) z) (* (+ t y) a))
7.2b
(/ (* y b) (+ (+ x t) y))
23.2b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
20×add-sqr-sqrt times-frac
19×distribute-lft-out
18×add-cube-cbrt associate-*l/
13×add-exp-log flip3-+ add-cbrt-cube flip-+
10×associate-/r*
8×frac-add
6×pow1 associate-/l/ add-log-exp
4×associate-*l* associate-/r/ associate-/l*
3×cbrt-undiv div-exp associate-*r*
2×frac-2neg prod-exp clear-num cbrt-unprod div-inv
1×+-commutative pow-prod-down sum-log *-commutative unswap-sqr
Counts
4 → 106
Calls
4 calls:
22.0ms
(* (+ x y) z)
30.0ms
(+ (* (+ x y) z) (* (+ t y) a))
54.0ms
(/ (* y b) (+ (+ x t) y))
92.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series518.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (+ x y) z)
85.0ms
(+ (* (+ x y) z) (* (+ t y) a))
120.0ms
(/ (* y b) (+ (+ x t) y))
282.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify1.0s

Counts
118 → 118

prune572.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.4b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
0.7b
(+ (* (+ x y) z) (* (+ t y) a))
6.9b
(/ y (/ (+ (+ x t) y) b))
23.2b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
132×times-frac
74×add-sqr-sqrt
72×add-cube-cbrt
49×distribute-lft-out
24×associate-/r*
18×associate-*l/
13×add-exp-log add-cbrt-cube
12×flip3-+ flip-+
8×frac-add
6×pow1 div-inv associate-/l/ associate-/l* add-log-exp
4×cbrt-undiv div-exp associate-*l*
3×associate-*r* associate-/r/
2×frac-2neg clear-num
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
4 → 173
Calls
4 calls:
33.0ms
(* (+ x y) z)
16.0ms
(+ (* (+ x y) z) (* (+ t y) a))
61.0ms
(/ y (/ (+ (+ x t) y) b))
118.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series694.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (+ x y) z)
85.0ms
(+ (* (+ x y) z) (* (+ t y) a))
211.0ms
(/ y (/ (+ (+ x t) y) b))
358.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify1.3s

Counts
185 → 185

prune716.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.5b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (+ (+ x t) y) (+ (* (+ x y) z) (* (+ t y) a))))
0.7b
(+ (* (+ x y) z) (* (+ t y) a))
6.9b
(/ y (/ (+ (+ x t) y) b))
23.2b
(/ (+ (+ x t) y) (+ (* (+ x y) z) (* (+ t y) a)))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
272×*-un-lft-identity
267×times-frac
132×add-sqr-sqrt add-cube-cbrt
84×distribute-lft-out
48×associate-*l/
47×associate-/r*
32×associate-/r/
31×flip3-+ flip-+
24×frac-add
22×add-exp-log
16×add-cbrt-cube
11×div-exp div-inv associate-/l*
7×cbrt-undiv
6×add-log-exp
5×pow1
3×frac-2neg clear-num
2×rec-exp 1-exp associate-/l/
1×+-commutative pow-flip sum-log inv-pow
Counts
4 → 276
Calls
4 calls:
81.0ms
(/ 1 (/ (+ (+ x t) y) (+ (* (+ x y) z) (* (+ t y) a))))
20.0ms
(+ (* (+ x y) z) (* (+ t y) a))
41.0ms
(/ y (/ (+ (+ x t) y) b))
111.0ms
(/ (+ (+ x t) y) (+ (* (+ x y) z) (* (+ t y) a)))

series798.0ms

Counts
4 → 12
Calls
4 calls:
367.0ms
(/ 1 (/ (+ (+ x t) y) (+ (* (+ x y) z) (* (+ t y) a))))
78.0ms
(+ (* (+ x y) z) (* (+ t y) a))
208.0ms
(/ y (/ (+ (+ x t) y) b))
144.0ms
(/ (+ (+ x t) y) (+ (* (+ x y) z) (* (+ t y) a)))

simplify1.7s

Counts
288 → 288

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.5b

regimes657.0ms

Accuracy

12% (19.1b remaining)

Error of 22.1b against oracle of 3.0b and baseline of 24.7b

bsearch486.0ms

Steps
ItersRangePoint
6
3.926112349382945e+43
5.36273909338587e+44
1.9094980031605207e+44
8
3.8742319090915497e-103
2.6808320963193836e-99
5.49946979901847e-102
5
1.1858747670284634e-191
4.3363475739136174e-191
2.5545488720289683e-191
6
5.1944101908465634e-259
4.136470773380146e-258
1.5283727022643256e-258
9
-9.37424561189647e-233
-1.9226381247620605e-240
-9.136456255023147e-237
10
-1.0689565707274291e-136
-4.1555086680969926e-153
-1.4744136546210387e-151
1
-9.73743574744229e-101
-9.143444760679468e-101
-9.588938000751585e-101
9
-1.8152232105286475e+59
-2.8580099105571822e+51
-9.906734849595593e+58

simplify190.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.1s7999×body80valid
0.0ms1×body160valid