Details

Time bar (total: 16.1s)

sample32.0ms

Algorithm
intervals
Results
10.0ms247×body80valid
3.0ms16×body1280valid
1.0ms10×body640valid
1.0ms13×body320valid
1.0ms7×body160valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12013
24513
311113
429213
586413
6337313
done500013

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.4b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite138.0ms

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

series515.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(* (- y x) (- z t))
264.0ms
(+ x (/ (* (- y x) (- z t)) (- a t)))
208.0ms
(/ (* (- y x) (- z t)) (- a t))

simplify1.4s

Counts
90 → 90
Iterations

Useful iterations: 2 (355.0ms)

IterNodesCost
01621284
14801213
226621111
done50001111

prune608.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 2.8b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
330×times-frac
323×*-un-lft-identity
321×add-sqr-sqrt
113×add-cube-cbrt
104×distribute-lft-out-- difference-of-squares
36×associate-/r*
15×associate-/r/
10×add-exp-log add-cbrt-cube associate-/l*
9×flip3-- flip--
8×div-inv
5×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 div-sub
2×frac-2neg clear-num
1×+-commutative associate-+r- flip3-+ sum-log flip-+ distribute-lft-out
Counts
3 → 274
Calls
3 calls:
23.0ms
(/ (- a t) (- z t))
118.0ms
(+ x (/ (- y x) (/ (- a t) (- z t))))
44.0ms
(/ (- y x) (/ (- a t) (- z t)))

series591.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(/ (- a t) (- z t))
243.0ms
(+ x (/ (- y x) (/ (- a t) (- z t))))
290.0ms
(/ (- y x) (/ (- a t) (- z t)))

simplify552.0ms

Counts
283 → 283
Iterations

Useful iterations: done (540.0ms)

IterNodesCost
03545984
111545679
done50005493

prune868.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 2.8b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) (- z t))
1.9b
(+ x (/ (- y x) (pow (/ (- a t) (- z t)) 1)))
3.4b
(/ (- y x) (pow (/ (- a t) (- z t)) 1))

rewrite301.0ms

Algorithm
rewrite-expression-head
Rules
350×times-frac
341×*-un-lft-identity
339×add-sqr-sqrt
186×unpow-prod-down
123×add-cube-cbrt
108×distribute-lft-out-- difference-of-squares
40×associate-/r*
14×associate-/r/
13×add-exp-log
10×associate-/l*
9×flip3-- flip--
8×div-inv
7×add-cbrt-cube
6×div-exp sqr-pow
5×add-log-exp
4×associate-/l/
3×pow1 div-sub
2×cbrt-undiv frac-2neg pow-exp clear-num
1×+-commutative pow-to-exp associate-+r- flip3-+ sum-log flip-+ distribute-lft-out
Counts
3 → 298
Calls
3 calls:
22.0ms
(/ (- a t) (- z t))
184.0ms
(+ x (/ (- y x) (pow (/ (- a t) (- z t)) 1)))
66.0ms
(/ (- y x) (pow (/ (- a t) (- z t)) 1))

series486.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(/ (- a t) (- z t))
205.0ms
(+ x (/ (- y x) (pow (/ (- a t) (- z t)) 1)))
224.0ms
(/ (- y x) (pow (/ (- a t) (- z t)) 1))

simplify538.0ms

Counts
307 → 307
Iterations

Useful iterations: done (521.0ms)

IterNodesCost
04347418
111626267
done50005999

prune858.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.8b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- z t))
0.2b
(* (- a t) (/ 1 (- z t)))
2.6b
(+ x (/ (- y x) (* (- a t) (/ 1 (- z t)))))
3.4b
(/ (- y x) (* (- a t) (/ 1 (- z t))))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
49×*-un-lft-identity
37×times-frac
32×add-exp-log
26×add-cube-cbrt
21×associate-*r*
20×add-cbrt-cube
11×div-exp
10×associate-/r/ distribute-lft-out-- difference-of-squares
8×prod-exp associate-/l*
7×pow1 flip3-- flip--
6×cbrt-undiv associate-/r* add-log-exp
5×associate-*l*
4×frac-times associate-*l/ cbrt-unprod
3×rec-exp 1-exp div-inv unswap-sqr
2×frac-2neg div-sub associate-*r/ clear-num un-div-inv associate-/l/
1×+-commutative associate-+r- pow-flip flip3-+ pow-prod-down sum-log *-commutative flip-+ distribute-lft-out inv-pow
Counts
4 → 142
Calls
4 calls:
20.0ms
(/ 1 (- z t))
53.0ms
(* (- a t) (/ 1 (- z t)))
39.0ms
(+ x (/ (- y x) (* (- a t) (/ 1 (- z t)))))
52.0ms
(/ (- y x) (* (- a t) (/ 1 (- z t))))

series623.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ 1 (- z t))
67.0ms
(* (- a t) (/ 1 (- z t)))
229.0ms
(+ x (/ (- y x) (* (- a t) (/ 1 (- z t)))))
284.0ms
(/ (- y x) (* (- a t) (/ 1 (- z t))))

simplify4.0s

Counts
154 → 154
Iterations

Useful iterations: done (4.0s)

IterNodesCost
02142079
15881870
241031543
done50011527

prune371.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 2.8b

regimes233.0ms

Accuracy

24.8% (5.8b remaining)

Error of 9.9b against oracle of 4.1b and baseline of 11.9b

bsearch139.0ms

Steps
ItersRangePoint
8
2.868692110509727e-161
8.553278728760235e-158
9.616031131563335e-161
11
-2.1564359723426472e-113
-3.179459174436537e-139
-3.2146256796386465e-139

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02551
13537
done3537

end0.0ms

sample1.7s

Algorithm
intervals
Results
836.0ms7836×body80valid
103.0ms274×body1280valid
93.0ms450×body320valid
91.0ms468×body640valid
57.0ms273×body160valid
4.0ms14×body2560valid