Details

Time bar (total: 16.8s)

sample46.0ms

Algorithm
intervals
Results
22.0ms329×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5000
264763
254510
244265
234014
223757
213520
203263
193002
182745
172490
162233
151990
141662
131313
12944
11612
10421
9272
8188
7154
6133
5108
473
341
224
115
09

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite60.0ms

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

series183.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(* y (- z t))
63.0ms
(+ x (/ (* y (- z t)) a))
74.0ms
(/ (* y (- z t)) a)

simplify2.0s

Counts
73 → 73
Iterations
IterNodes
done5001
33864
2916
1318
0119

prune455.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
4.2b
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
40×times-frac
38×*-un-lft-identity
34×associate-*r*
26×cbrt-prod add-cube-cbrt
25×add-exp-log
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 distribute-lft-out-- difference-of-squares unswap-sqr
4×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 108
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
80.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series939.0ms

Counts
4 → 12
Calls
4 calls:
268.0ms
(cbrt a)
271.0ms
(cbrt a)
267.0ms
(cbrt a)
133.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify1.6s

Counts
120 → 120
Iterations
IterNodes
done5001
22095
1508
0163

prune646.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
1.0b
(/ y (* (/ (cbrt a) (cbrt (- z t))) (/ (cbrt a) (cbrt (- z t)))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
14×add-cbrt-cube
9×cbrt-prod add-sqr-sqrt cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
4×pow1 prod-exp cbrt-unprod insert-posit16 add-log-exp
3×times-frac pow1/3 associate-/r/ associate-/l*
1×frac-times clear-num associate-/r* frac-2neg associate-*l/ associate-*r/ div-inv
Counts
4 → 67
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
17.0ms
(/ y (* (/ (cbrt a) (cbrt (- z t))) (/ (cbrt a) (cbrt (- z t)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
241.0ms
(cbrt a)
240.0ms
(cbrt a)
324.0ms
(cbrt a)
206.0ms
(/ y (* (/ (cbrt a) (cbrt (- z t))) (/ (cbrt a) (cbrt (- z t)))))

simplify2.1s

Counts
79 → 79
Iterations
IterNodes
done5028
33117
2802
1291
0119

prune531.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
88×*-un-lft-identity
86×add-sqr-sqrt
58×add-cube-cbrt
14×distribute-lft-out-- difference-of-squares
13×associate-/r*
7×add-cbrt-cube add-exp-log div-inv
5×associate-/l*
4×add-log-exp
3×cbrt-undiv div-exp
2×pow1 div-sub insert-posit16 associate-/l/
1×+-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- associate-/r/ flip-+ flip-- distribute-lft-out
Counts
2 → 116
Calls
2 calls:
28.0ms
(+ x (/ (- z t) (/ a y)))
21.0ms
(/ (- z t) (/ a y))

series130.0ms

Counts
2 → 6
Calls
2 calls:
64.0ms
(+ x (/ (- z t) (/ a y)))
66.0ms
(/ (- z t) (/ a y))

simplify1.6s

Counts
122 → 122
Iterations
IterNodes
done5003
21890
1661
0221

prune645.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes465.0ms

Accuracy

65.7% (1.1b remaining)

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

bsearch139.0ms

Steps
ItersRangePoint
9
1.5020830811085278e-09
0.0017323986771050784
1.593765271222455e-09
9
-1.7640405447381577e-180
-4.043327875288927e-187
-1.7432637471506773e-180

simplify9.0ms

Iterations
IterNodes
done33
133
026

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s10652×body80valid