Details

Time bar (total: 15.1s)

sample53.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify1.6s

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
2.3b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.4b
(+ (* (+ x y) z) (* (+ t y) a))
24.9b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite384.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:
33.0ms
(* (+ x y) z)
93.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms
(+ (* (+ x y) z) (* (+ t y) a))
237.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (+ x y) z)
164.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
79.0ms
(+ (* (+ x y) z) (* (+ t y) a))
814.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify797.0ms

Counts
102 → 102

prune399.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
2.4b
(+ (* (+ x y) z) (* (+ t y) a))
8.3b
(/ (* y b) (+ (+ x t) y))
22.8b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite180.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)
16.0ms
(+ (* (+ x y) z) (* (+ t y) a))
49.0ms
(/ (* y b) (+ (+ x t) y))
89.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series558.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (+ x y) z)
82.0ms
(+ (* (+ x y) z) (* (+ t y) a))
113.0ms
(/ (* y b) (+ (+ x t) y))
326.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify1.0s

Counts
118 → 118

prune505.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.9b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
2.4b
(+ (* (+ x y) z) (* (+ t y) a))
9.4b
(* y (/ b (+ (+ x t) y)))
22.8b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
33×add-sqr-sqrt
31×times-frac
26×add-cube-cbrt
24×associate-*r*
22×distribute-lft-out
18×associate-*l/
13×add-exp-log flip3-+ add-cbrt-cube flip-+
8×pow1 frac-add
7×associate-*l*
6×associate-/l/ add-log-exp
5×associate-/r*
4×associate-/r/
3×prod-exp cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv div-exp pow-prod-down *-commutative div-inv
1×+-commutative frac-2neg associate-*r/ clear-num sum-log
Counts
4 → 119
Calls
4 calls:
35.0ms
(* (+ x y) z)
25.0ms
(+ (* (+ x y) z) (* (+ t y) a))
120.0ms
(* y (/ b (+ (+ x t) y)))
115.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series550.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (+ x y) z)
75.0ms
(+ (* (+ x y) z) (* (+ t y) a))
119.0ms
(* y (/ b (+ (+ x t) y)))
331.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify1.1s

Counts
131 → 131

prune533.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 2.2b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
2.4b
(+ (* (+ x y) z) (* (+ t y) a))
9.9b
(/ y (/ (+ (+ x t) y) b))
22.8b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite575.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:
36.0ms
(* (+ x y) z)
25.0ms
(+ (* (+ x y) z) (* (+ t y) a))
383.0ms
(/ y (/ (+ (+ x t) y) b))
116.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series596.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (+ x y) z)
78.0ms
(+ (* (+ x y) z) (* (+ t y) a))
183.0ms
(/ y (/ (+ (+ x t) y) b))
303.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify1.2s

Counts
185 → 185

prune691.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.2b

regimes528.0ms

Accuracy

15.4% (17.4b remaining)

Error of 20.4b against oracle of 3.0b and baseline of 23.6b

bsearch410.0ms

Steps
ItersRangePoint
5
1.1088562853064303e+61
2.6442255159609424e+61
2.1626082248080705e+61
9
3.041656655563439e-134
1.3580524445593274e-128
1.0843459734110021e-132
8
7.544041607401692e-201
6.6286092153216345e-198
1.3809015548453315e-200
8
-3.014080757910363e-12
-1.185218886639806e-16
-1.8954215026127012e-14
4
-1956900.832714079
-1133438.1195994942
-1365037.0076629713
9
-3.2941822144591847e+56
-4.121187171018321e+49
-5.908454188501267e+54
10
-1.1359586610329752e+85
-4.63933555875926e+73
-6.647028763193772e+79
10
-1.5317653219897515e+116
-9.338401989257432e+104
-1.0696516556697603e+105

simplify868.0ms

end0.0ms

sample1.1s

Algorithm
intervals
Results
678.0ms7996×body80valid
0.0ms2×body320valid
0.0ms1×body640valid
0.0ms1×body160valid