Details

Time bar (total: 20.6s)

sample30.0ms

Algorithm
intervals
Results
18.0ms289×body80valid

simplify3.2s

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.8b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- z t))
9.1b
(/ (* y (- z t)) (- z a))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
81×*-un-lft-identity
70×times-frac
37×add-cube-cbrt
35×associate-*r*
22×distribute-lft-out-- difference-of-squares
21×associate-*l*
14×associate-/l*
9×add-cbrt-cube add-exp-log
7×*-commutative unswap-sqr
5×associate-/r*
4×pow1 associate-*r/
3×flip3-- flip--
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod insert-posit16 add-log-exp associate-/l/
1×clear-num frac-2neg pow-prod-down div-inv
Counts
2 → 135
Calls
2 calls:
19.0ms
(* y (- z t))
75.0ms
(/ (* y (- z t)) (- z a))

series151.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(* y (- z t))
101.0ms
(/ (* y (- z t)) (- z a))

simplify1.6s

Counts
141 → 141
Iterations
IterNodes
done5000
21597
1535
0196

prune651.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z a) (- z t))
1.9b
(/ y (/ (- z a) (- z t)))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
200×add-sqr-sqrt *-un-lft-identity
92×add-cube-cbrt
54×distribute-lft-out-- difference-of-squares
41×associate-/r*
25×associate-/r/
13×associate-/l*
9×add-cbrt-cube add-exp-log
7×flip3-- flip--
6×div-inv
4×cbrt-undiv div-exp associate-/l/
3×clear-num frac-2neg
2×pow1 insert-posit16 add-log-exp
1×div-sub
Counts
2 → 210
Calls
2 calls:
23.0ms
(/ (- z a) (- z t))
57.0ms
(/ y (/ (- z a) (- z t)))

series209.0ms

Counts
2 → 6
Calls
2 calls:
68.0ms
(/ (- z a) (- z t))
141.0ms
(/ y (/ (- z a) (- z t)))

simplify2.0s

Counts
216 → 216
Iterations
IterNodes
done5001
22588
1743
0282

prune868.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- z a))
11.0b
(* (/ y (- z a)) (- z t))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
50×*-un-lft-identity
31×times-frac
28×add-cube-cbrt
22×frac-times
21×associate-*l*
20×associate-/r*
14×flip3-- flip--
12×associate-/l*
11×associate-*l/ distribute-lft-out-- difference-of-squares
9×add-cbrt-cube add-exp-log
5×associate-*r*
4×pow1 clear-num frac-2neg associate-/r/
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-*r/ cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr
1×pow-prod-down *-commutative
Counts
2 → 119
Calls
2 calls:
13.0ms
(/ y (- z a))
81.0ms
(* (/ y (- z a)) (- z t))

series222.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(/ y (- z a))
176.0ms
(* (/ y (- z a)) (- z t))

simplify1.5s

Counts
125 → 125
Iterations
IterNodes
done5002
22076
1572
0179

prune471.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (- z a))
0.0b
(/ (- z t) (+ z a))
1.1b
(* (/ (- z t) (+ z a)) (/ y (- z a)))
15.7b
(* (* (/ (- z t) (+ z a)) (/ y (- z a))) (+ z a))

rewrite881.0ms

Algorithm
rewrite-expression-head
Rules
978×frac-times
677×*-un-lft-identity
585×add-sqr-sqrt
501×associate-/r*
432×associate-/l*
281×add-cube-cbrt
237×associate-*l/
185×flip3-+ flip-+
131×distribute-lft-out-- difference-of-squares
117×times-frac
114×clear-num
110×frac-2neg
108×associate-*l*
98×associate-/l/
65×distribute-lft-out
52×flip3-- flip--
46×associate-*r* associate-*r/
38×add-cbrt-cube add-exp-log
17×unswap-sqr
13×prod-exp cbrt-unprod
12×associate-/r/
11×pow1
10×cbrt-undiv div-exp
8×un-div-inv
6×div-inv
4×pow-prod-down insert-posit16 add-log-exp
3×*-commutative
2×distribute-rgt-in +-commutative distribute-lft-in
1×div-sub
Counts
4 → 970
Calls
4 calls:
21.0ms
(/ y (- z a))
48.0ms
(/ (- z t) (+ z a))
176.0ms
(* (/ (- z t) (+ z a)) (/ y (- z a)))
545.0ms
(* (* (/ (- z t) (+ z a)) (/ y (- z a))) (+ z a))

series420.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(/ y (- z a))
75.0ms
(/ (- z t) (+ z a))
140.0ms
(* (/ (- z t) (+ z a)) (/ y (- z a)))
151.0ms
(* (* (/ (- z t) (+ z a)) (/ y (- z a))) (+ z a))

simplify1.7s

Counts
982 → 982
Iterations
IterNodes
done5000
01018

prune4.7s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes444.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done11
111
010

end0.0ms

sample1.1s

Algorithm
intervals
Results
758.0ms8699×body80valid