Details

Time bar (total: 14.8s)

sample40.0ms

Algorithm
intervals
Results
10.0ms235×body80valid
3.0ms18×body640valid
2.0ms14×body320valid
1.0ms6×body1280valid
1.0ms7×body160valid
0.0ms1×body2560valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5001
63019
5643
4223
3109
252
122
011

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
10×add-cbrt-cube add-exp-log
8×add-log-exp
7×add-cube-cbrt
5×pow1 associate-/r* times-frac associate-*l* distribute-lft-out--
4×flip3-- associate-*l/ flip-- difference-of-squares
3×associate-*r*
2×cbrt-undiv diff-log div-exp prod-exp associate-/r/ frac-sub cbrt-unprod associate-/l/
1×clear-num sum-log sub-neg frac-2neg flip3-+ pow-prod-down associate--l+ *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 70
Calls
3 calls:
18.0ms
(* (- z t) y)
49.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
24.0ms
(/ (* (- z t) y) (- a t))

series325.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(* (- z t) y)
182.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
110.0ms
(/ (* (- z t) y) (- a t))

simplify1.5s

Counts
79 → 79
Iterations
IterNodes
done5001
21980
1392
0150

prune637.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.8b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (- y (* (/ y (- a t)) (- z t))))
0.0b
(/ y (- a t))
5.8b
(- y (* (/ y (- a t)) (- z t)))
10.4b
(* (/ y (- a t)) (- z t))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
42×*-un-lft-identity
31×times-frac
24×add-cube-cbrt
21×associate-*l*
11×add-cbrt-cube add-exp-log add-log-exp
8×distribute-lft-out-- difference-of-squares
6×pow1 sub-neg
5×associate-/r* flip3-- associate-*r* flip--
4×distribute-rgt-in distribute-lft-in associate-/r/ associate--r+
3×associate-/l*
2×frac-times cbrt-undiv associate-+r+ sum-log diff-log div-exp prod-exp associate-*r/ cbrt-unprod div-inv unswap-sqr
1×+-commutative clear-num associate-+r- frac-2neg flip3-+ pow-prod-down associate-*l/ *-commutative flip-+ distribute-lft-out
Counts
4 → 119
Calls
4 calls:
21.0ms
(+ x (- y (* (/ y (- a t)) (- z t))))
17.0ms
(/ y (- a t))
9.0ms
(- y (* (/ y (- a t)) (- z t)))
65.0ms
(* (/ y (- a t)) (- z t))

series502.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(+ x (- y (* (/ y (- a t)) (- z t))))
31.0ms
(/ y (- a t))
149.0ms
(- y (* (/ y (- a t)) (- z t)))
205.0ms
(* (/ y (- a t)) (- z t))

simplify1.0s

Counts
131 → 131
Iterations
IterNodes
done5002
22084
1494
0187

prune898.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.6b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
77×add-sqr-sqrt
74×*-un-lft-identity
51×times-frac
31×associate-*r*
28×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
11×add-cbrt-cube add-exp-log add-log-exp
6×pow1
5×associate-/r* associate-/l*
4×flip3-- associate-/r/ flip--
3×associate-*l*
2×cbrt-undiv associate-+r+ sum-log sub-neg diff-log div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×+-commutative clear-num associate-+r- frac-2neg flip3-+ div-sub pow-prod-down associate-*r/ *-commutative flip-+ distribute-lft-out
Counts
4 → 130
Calls
4 calls:
18.0ms
(+ x (- y (* y (/ (- z t) (- a t)))))
32.0ms
(/ (- z t) (- a t))
72.0ms
(* y (/ (- z t) (- a t)))
8.0ms
(- y (* y (/ (- z t) (- a t))))

series498.0ms

Counts
4 → 12
Calls
4 calls:
216.0ms
(+ x (- y (* y (/ (- z t) (- a t)))))
58.0ms
(/ (- z t) (- a t))
107.0ms
(* y (/ (- z t) (- a t)))
117.0ms
(- y (* y (/ (- z t) (- a t))))

simplify959.0ms

Counts
142 → 142
Iterations
IterNodes
done5002
21994
1494
0182

prune840.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.9b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (- y (* (* y (/ 1 (- a t))) (- z t))))
0.2b
(* y (/ 1 (- a t)))
8.4b
(- y (* (* y (/ 1 (- a t))) (- z t)))
10.4b
(* (* y (/ 1 (- a t))) (- z t))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
28×add-exp-log
26×*-un-lft-identity associate-*r*
18×add-cbrt-cube
17×times-frac
15×add-cube-cbrt
13×prod-exp
11×pow1 add-log-exp
7×cbrt-unprod
6×sub-neg associate-*r/
5×flip3-- flip--
4×distribute-rgt-in frac-times distribute-lft-in div-exp associate-*l* pow-prod-down un-div-inv associate--r+ distribute-lft-out-- difference-of-squares
3×unswap-sqr
2×cbrt-undiv rec-exp associate-+r+ sum-log diff-log 1-exp associate-*l/ associate-/r/ *-commutative
1×+-commutative associate-+r- flip3-+ flip-+ div-inv distribute-lft-out
Counts
4 → 112
Calls
4 calls:
15.0ms
(+ x (- y (* (* y (/ 1 (- a t))) (- z t))))
27.0ms
(* y (/ 1 (- a t)))
5.0ms
(- y (* (* y (/ 1 (- a t))) (- z t)))
66.0ms
(* (* y (/ 1 (- a t))) (- z t))

series559.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(+ x (- y (* (* y (/ 1 (- a t))) (- z t))))
41.0ms
(* y (/ 1 (- a t)))
187.0ms
(- y (* (* y (/ 1 (- a t))) (- z t)))
198.0ms
(* (* y (/ 1 (- a t))) (- z t))

simplify1.5s

Counts
124 → 124
Iterations
IterNodes
done5000
22698
1557
0195

prune721.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.9b

regimes677.0ms

Accuracy

12.4% (3.9b remaining)

Error of 7.1b against oracle of 3.3b and baseline of 7.7b

bsearch118.0ms

Steps
ItersRangePoint
8
1.0290115508544809e-297
5.292323950905223e-294
5.0658260052678776e-294
9
-1.2301964349234296e-173
-4.026234234862855e-179
-9.281128316964414e-174

simplify2.0ms

Iterations
IterNodes
done27
127
020

end0.0ms

sample1.7s

Algorithm
intervals
Results
533.0ms7311×body80valid
434.0ms469×body640valid
97.0ms263×body1280valid
90.0ms407×body320valid
24.0ms255×body160valid
6.0ms18×body2560valid