Details

Time bar (total: 40.6s)

sample38.0ms

Algorithm
intervals
Results
10.0ms274×body80valid

simplify8.7s

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

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.0b

localize27.0ms

Local error

Found 3 expressions with local error:

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

rewrite133.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:
51.0ms
(+ x (/ (* y (- z t)) (- z a)))
39.0ms
(* y (- z t))
36.0ms
(/ (* y (- z t)) (- z a))

series414.0ms

Counts
3 → 9
Calls
3 calls:
199.0ms
(+ x (/ (* y (- z t)) (- z a)))
71.0ms
(* y (- z t))
144.0ms
(/ (* y (- z t)) (- z a))

simplify6.6s

Counts
79 → 79
Iterations
IterNodes
done5006
34553
21069
1355
0131

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite142.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:
16.0ms
(+ x (* y (/ (- z t) (- z a))))
51.0ms
(/ (- z t) (- z a))
64.0ms
(* y (/ (- z t) (- z a)))

series378.0ms

Counts
3 → 9
Calls
3 calls:
165.0ms
(+ x (* y (/ (- z t) (- z a))))
60.0ms
(/ (- z t) (- z a))
153.0ms
(* y (/ (- z t) (- z a)))

simplify3.0s

Counts
125 → 125
Iterations
IterNodes
done5001
21400
1445
0165

prune1.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 3 expressions with local error:

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

rewrite264.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:
121.0ms
(+ x (/ y (/ (- z a) (- z t))))
38.0ms
(/ (- z a) (- z t))
53.0ms
(/ y (/ (- z a) (- z t)))

series533.0ms

Counts
3 → 9
Calls
3 calls:
225.0ms
(+ x (/ y (/ (- z a) (- z t))))
85.0ms
(/ (- z a) (- z t))
223.0ms
(/ y (/ (- z a) (- z t)))

simplify5.0s

Counts
218 → 218
Iterations
IterNodes
done5000
22845
1800
0295

prune2.9s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize188.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- z a))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
14×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity
8×add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
2×cbrt-div
1×flip3-- flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 52
Calls
4 calls:
7.0ms
(cbrt (- z a))
2.0ms
(cbrt y)
2.0ms
(cbrt y)
3.0ms
(cbrt y)

series1.2s

Counts
4 → 12
Calls
4 calls:
345.0ms
(cbrt (- z a))
298.0ms
(cbrt y)
304.0ms
(cbrt y)
282.0ms
(cbrt y)

simplify3.8s

Counts
64 → 64
Iterations
IterNodes
done5000
42485
3889
2381
1182
091

prune1.1s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes1.9s

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done17
117
015

end0.0ms

sample1.1s

Algorithm
intervals
Results
483.0ms8738×body80valid
0.0ms1×body160valid