Details

Time bar (total: 14.2s)

sample61.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5001
64555
52129
4576
3183
271
132
016

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(+ (* (+ x y) z) (* (+ t y) a))
1.9b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
25.6b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite213.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-cbrt-cube add-exp-log
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×sum-log flip3-- diff-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
16.0ms
(* (+ t y) a)
12.0ms
(+ (* (+ x y) z) (* (+ t y) a))
57.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
125.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series802.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (+ t y) a)
53.0ms
(+ (* (+ x y) z) (* (+ t y) a))
112.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
614.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify723.0ms

Counts
102 → 102
Iterations
IterNodes
done5002
22333
1532
0178

prune518.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x (+ y t)) y)
1.0b
(+ (* (+ y t) a) (* (+ y x) z))
4.0b
(/ b (/ (+ x (+ y t)) y))
23.3b
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity
147×times-frac
80×add-sqr-sqrt add-cube-cbrt
60×distribute-lft-out
27×associate-/r*
16×associate-*l/
13×add-cbrt-cube add-exp-log
12×flip3-+ flip-+
11×associate-/l*
8×frac-add associate-/l/
7×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1
3×clear-num frac-2neg associate-/r/
1×+-commutative sum-log
Counts
4 → 189
Calls
4 calls:
42.0ms
(/ (+ x (+ y t)) y)
11.0ms
(+ (* (+ y t) a) (* (+ y x) z))
26.0ms
(/ b (/ (+ x (+ y t)) y))
54.0ms
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

series352.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (+ x (+ y t)) y)
55.0ms
(+ (* (+ y t) a) (* (+ y x) z))
58.0ms
(/ b (/ (+ x (+ y t)) y))
217.0ms
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

simplify916.0ms

Counts
201 → 201
Iterations
IterNodes
done5001
23828
1802
0285

prune900.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
0.0b
(/ (+ x (+ y t)) y)
4.0b
(/ b (/ (+ x (+ y t)) y))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
135×times-frac
78×add-sqr-sqrt
69×add-cube-cbrt
49×distribute-lft-out
22×associate-/r*
10×add-cbrt-cube add-exp-log
8×associate-/l* add-log-exp
6×div-inv
4×cbrt-undiv div-exp
3×pow1 difference-of-squares
2×clear-num frac-2neg flip3-+ diff-log frac-sub flip-+ distribute-lft-out-- associate-/l/
1×sum-log sub-neg flip3-- associate--l+ associate-/r/ flip--
Counts
3 → 152
Calls
3 calls:
73.0ms
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
42.0ms
(/ (+ x (+ y t)) y)
25.0ms
(/ b (/ (+ x (+ y t)) y))

series158.0ms

Counts
3 → 9
Calls
3 calls:
80.0ms
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
21.0ms
(/ (+ x (+ y t)) y)
57.0ms
(/ b (/ (+ x (+ y t)) y))

simplify850.0ms

Counts
161 → 161
Iterations
IterNodes
done5001
22730
1608
0228

prune615.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ a z) (* 1 (* (/ b (+ y (+ t x))) y)))
0.0b
(/ b (+ y (+ t x)))
8.3b
(* (/ b (+ y (+ t x))) y)

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
31×times-frac
28×add-sqr-sqrt
23×add-cube-cbrt
22×distribute-lft-out
21×associate-*l*
10×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 associate-/r*
4×associate-/r/
3×flip3-+ associate-*r* associate-*l/ flip-+ associate-/l*
2×cbrt-undiv diff-log div-exp prod-exp associate-*r/ frac-sub cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- pow-prod-down associate--l+ *-commutative flip--
Counts
3 → 95
Calls
3 calls:
32.0ms
(- (+ a z) (* 1 (* (/ b (+ y (+ t x))) y)))
22.0ms
(/ b (+ y (+ t x)))
52.0ms
(* (/ b (+ y (+ t x))) y)

series154.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(- (+ a z) (* 1 (* (/ b (+ y (+ t x))) y)))
40.0ms
(/ b (+ y (+ t x)))
50.0ms
(* (/ b (+ y (+ t x))) y)

simplify1.2s

Counts
104 → 104
Iterations
IterNodes
done5001
22488
1451
0155

prune376.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 3.0b

regimes894.0ms

Accuracy

10.9% (15.1b remaining)

Error of 18.0b against oracle of 2.8b and baseline of 19.8b

bsearch214.0ms

Steps
ItersRangePoint
8
2.2492187216691533e+29
1.1810900825178078e+33
6.3997674104296266e+32
8
7.037148421575059e-167
2.2403175115732038e-163
7.190504744030889e-167
6
-1.0156204216490175e-299
-2.181917009464847e-300
-3.9373170579933294e-300
7
-2.952985244271151e+78
-3.845605078781637e+76
-4.3473990959534403e+77

simplify760.0ms

Iterations
IterNodes
done5002
142990
131853
12716
11481
10244
9186
8129
7103
687
574
468
365
259
155
039

end0.0ms

sample1.1s

Algorithm
intervals
Results
664.0ms7998×body80valid
0.0ms1×body320valid
0.0ms1×body160valid