Details

Time bar (total: 15.9s)

sample42.0ms

Algorithm
intervals
Results
21.0ms281×body80valid

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
done5001
264979
254743
244499
234256
224020
213777
203537
193301
183057
172823
162584
152324
141950
131556
121129
11699
10486
9335
8250
7206
6169
5128
487
350
231
118
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.8b

localize38.0ms

Local error

Found 3 expressions with local error:

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

rewrite110.0ms

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

series241.0ms

Counts
3 → 9
Calls
3 calls:
96.0ms
(+ x (/ (* y (- z t)) (- z a)))
53.0ms
(* y (- z t))
92.0ms
(/ (* y (- z t)) (- z a))

simplify2.5s

Counts
79 → 79
Iterations
IterNodes
done5002
34057
21040
1349
0131

prune515.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
197×*-un-lft-identity
195×add-sqr-sqrt
91×add-cube-cbrt
52×distribute-lft-out-- difference-of-squares
36×associate-/r*
11×associate-/r/
10×add-cbrt-cube add-exp-log
8×associate-/l*
6×flip3-- div-inv flip--
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1 insert-posit16
2×clear-num frac-2neg associate-/l/
1×+-commutative sum-log flip3-+ div-sub flip-+ distribute-lft-out
Counts
3 → 209
Calls
3 calls:
106.0ms
(+ x (/ y (/ (- z a) (- z t))))
39.0ms
(/ (- z a) (- z t))
24.0ms
(/ y (/ (- z a) (- z t)))

series375.0ms

Counts
3 → 9
Calls
3 calls:
119.0ms
(+ x (/ y (/ (- z a) (- z t))))
66.0ms
(/ (- z a) (- z t))
190.0ms
(/ y (/ (- z a) (- z t)))

simplify2.1s

Counts
218 → 218
Iterations
IterNodes
done5000
22715
1788
0295

prune982.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-cbrt-cube add-exp-log
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×flip3-- associate-*l* insert-posit16 flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ div-sub pow-prod-down associate-*r/ *-commutative flip-+
Counts
3 → 116
Calls
3 calls:
6.0ms
(+ x (* y (/ (- z t) (- z a))))
37.0ms
(/ (- z t) (- z a))
56.0ms
(* y (/ (- z t) (- z a)))

series261.0ms

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

simplify1.2s

Counts
125 → 125
Iterations
IterNodes
done5000
21369
1444
0165

prune511.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
39×*-un-lft-identity
31×times-frac
23×add-cube-cbrt
21×associate-*l*
10×add-cbrt-cube add-exp-log
8×distribute-lft-out-- difference-of-squares
5×pow1 associate-/r* associate-*r* add-log-exp
4×distribute-rgt-in associate-+r+ sub-neg distribute-lft-in flip3-- associate-/r/ flip--
3×insert-posit16 associate-/l*
2×frac-times cbrt-undiv div-exp prod-exp associate-*r/ cbrt-unprod div-inv unswap-sqr
1×+-commutative clear-num sum-log frac-2neg flip3-+ pow-prod-down associate-*l/ *-commutative flip-+
Counts
3 → 105
Calls
3 calls:
9.0ms
(+ x (* (/ y (- z a)) (- z t)))
22.0ms
(/ y (- z a))
56.0ms
(* (/ y (- z a)) (- z t))

series334.0ms

Counts
3 → 9
Calls
3 calls:
99.0ms
(+ x (* (/ y (- z a)) (- z t)))
53.0ms
(/ y (- z a))
181.0ms
(* (/ y (- z a)) (- z t))

simplify1.2s

Counts
114 → 114
Iterations
IterNodes
done5001
21515
1442
0169

prune489.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes279.0ms

Accuracy

0% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 1.2b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done11
111
010

end0.0ms

sample806.0ms

Algorithm
intervals
Results
526.0ms8734×body80valid