Details

Time bar (total: 13.8s)

sample33.0ms

Algorithm
intervals
Results
10.0ms252×body80valid
2.0ms9×body1280valid
2.0ms11×body640valid
2.0ms14×body320valid
1.0ms10×body160valid
0.0ms1×body2560valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12013
24513
311113
429213
586413
6337313
done500013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.1b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite107.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:
42.0ms
(* (- y x) (- z t))
22.0ms
(+ x (/ (* (- y x) (- z t)) (- a t)))
40.0ms
(/ (* (- y x) (- z t)) (- a t))

series451.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(* (- y x) (- z t))
234.0ms
(+ x (/ (* (- y x) (- z t)) (- a t)))
162.0ms
(/ (* (- y x) (- z t)) (- a t))

simplify1.4s

Counts
90 → 90
Iterations

Useful iterations: 2 (322.0ms)

IterNodesCost
01621284
14801213
226621111
done50001111

prune367.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.2b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite255.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:
35.0ms
(/ (- a t) (- z t))
61.0ms
(/ (- y x) (/ (- a t) (- z t)))
130.0ms
(+ x (/ (- y x) (/ (- a t) (- z t))))

series565.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(/ (- a t) (- z t))
233.0ms
(/ (- y x) (/ (- a t) (- z t)))
267.0ms
(+ x (/ (- y x) (/ (- a t) (- z t))))

simplify564.0ms

Counts
283 → 283
Iterations

Useful iterations: done (552.0ms)

IterNodesCost
03545984
111525679
done50015493

prune797.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.2b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
45×add-sqr-sqrt
30×times-frac
19×add-exp-log
17×add-cube-cbrt
14×add-cbrt-cube distribute-lft-out-- difference-of-squares
10×associate-/l*
8×div-exp
6×associate-/r*
5×cbrt-undiv add-log-exp
4×prod-exp associate-/l/
3×pow1 flip3-- div-sub associate-/r/ flip--
2×frac-2neg 1-exp clear-num cbrt-unprod div-inv
1×+-commutative associate-+r- flip3-+ associate-*r/ sum-log flip-+ distribute-lft-out
Counts
3 → 98
Calls
3 calls:
33.0ms
(/ (- a t) (- z t))
43.0ms
(/ (- y x) (* 1 (/ (- a t) (- z t))))
21.0ms
(+ x (/ (- y x) (* 1 (/ (- a t) (- z t)))))

series569.0ms

Counts
3 → 9
Calls
3 calls:
72.0ms
(/ (- a t) (- z t))
267.0ms
(/ (- y x) (* 1 (/ (- a t) (- z t))))
230.0ms
(+ x (/ (- y x) (* 1 (/ (- a t) (- z t)))))

simplify1.4s

Counts
107 → 107
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01891685
15251490
227351372
done50001366

prune338.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.2b

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(cbrt (- a t))
1.3b
(/ (- y x) (* (* (cbrt (- a t)) (cbrt (- a t))) (/ (cbrt (- a t)) (- z t))))
8.6b
(+ x (/ (- y x) (* (* (cbrt (- a t)) (cbrt (- a t))) (/ (cbrt (- a t)) (- z t)))))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
28×cbrt-div
22×add-exp-log
18×*-un-lft-identity
17×associate-/r/
16×add-sqr-sqrt frac-times add-cbrt-cube
15×flip3-- flip--
12×associate-*l/
10×cbrt-prod
8×add-cube-cbrt
7×cbrt-undiv div-exp
6×prod-exp cbrt-unprod add-log-exp
5×times-frac associate-*r/ associate-/l*
4×pow1 distribute-lft-out-- difference-of-squares
2×pow1/3 div-sub associate-/l/
1×+-commutative associate-+r- frac-2neg flip3-+ clear-num associate-/r* sum-log flip-+ div-inv distribute-lft-out
Counts
4 → 94
Calls
4 calls:
4.0ms
(cbrt (- a t))
4.0ms
(cbrt (- a t))
113.0ms
(/ (- y x) (* (* (cbrt (- a t)) (cbrt (- a t))) (/ (cbrt (- a t)) (- z t))))
93.0ms
(+ x (/ (- y x) (* (* (cbrt (- a t)) (cbrt (- a t))) (/ (cbrt (- a t)) (- z t)))))

series859.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(cbrt (- a t))
212.0ms
(cbrt (- a t))
253.0ms
(/ (- y x) (* (* (cbrt (- a t)) (cbrt (- a t))) (/ (cbrt (- a t)) (- z t))))
191.0ms
(+ x (/ (- y x) (* (* (cbrt (- a t)) (cbrt (- a t))) (/ (cbrt (- a t)) (- z t)))))

simplify1.1s

Counts
106 → 106
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02222405
16472308
222371738
done50001548

prune425.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.2b

regimes404.0ms

Accuracy

13.8% (6.6b remaining)

Error of 10.5b against oracle of 4.0b and baseline of 11.6b

bsearch135.0ms

Steps
ItersRangePoint
9
7.025783171338231e-125
3.9054077061397985e-118
8.765571518245335e-120
7
-6.159056418506535e-125
-6.637490052300637e-127
-7.856678782897124e-126

simplify7.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03573
14571
24671
done4671

end0.0ms

sample1.9s

Algorithm
intervals
Results
716.0ms7911×body80valid
351.0ms273×body1280valid
95.0ms451×body640valid
57.0ms366×body320valid
27.0ms251×body160valid
4.0ms11×body2560valid