Details

Time bar (total: 19.2s)

sample35.0ms

Algorithm
intervals
Results
12.0ms352×body80valid

simplify3.6s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite79.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*
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 → 61
Calls
3 calls:
14.0ms
(+ x (/ (* y (- z t)) a))
37.0ms
(* y (- z t))
25.0ms
(/ (* y (- z t)) a)

series212.0ms

Counts
3 → 9
Calls
3 calls:
68.0ms
(+ x (/ (* y (- z t)) a))
56.0ms
(* y (- z t))
88.0ms
(/ (* y (- z t)) a)

simplify2.0s

Counts
70 → 70
Iterations
IterNodes
done5072
33422
2886
1310
0116

prune383.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite111.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 associate-/l/
1×+-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- associate-/r/ flip-+ flip-- distribute-lft-out
Counts
2 → 114
Calls
2 calls:
66.0ms
(+ x (/ (- z t) (/ a y)))
34.0ms
(/ (- z t) (/ a y))

series141.0ms

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

simplify1.8s

Counts
120 → 120
Iterations
IterNodes
done5002
21934
1659
0219

prune768.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

6.4b
(/ (- z t) (/ a y))
8.5b
(cbrt (/ (- z t) (/ a y)))
8.5b
(cbrt (/ (- z t) (/ a y)))
8.5b
(cbrt (/ (- z t) (/ a y)))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
449×times-frac
313×add-sqr-sqrt *-un-lft-identity
210×cbrt-prod
207×add-cube-cbrt
53×distribute-lft-out-- difference-of-squares
25×div-inv
13×associate-/r*
9×add-cbrt-cube add-exp-log
5×associate-/l*
4×pow1 associate-/r/ add-log-exp
3×cbrt-undiv cbrt-div pow1/3 div-exp
2×associate-/l/
1×clear-num frac-2neg flip3-- div-sub flip--
Counts
4 → 338
Calls
4 calls:
31.0ms
(/ (- z t) (/ a y))
17.0ms
(cbrt (/ (- z t) (/ a y)))
18.0ms
(cbrt (/ (- z t) (/ a y)))
8.0ms
(cbrt (/ (- z t) (/ a y)))

series695.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ (- z t) (/ a y))
220.0ms
(cbrt (/ (- z t) (/ a y)))
162.0ms
(cbrt (/ (- z t) (/ a y)))
250.0ms
(cbrt (/ (- z t) (/ a y)))

simplify1.8s

Counts
350 → 350
Iterations
IterNodes
done5000
22097
1818
0351

prune2.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×associate-*l*
18×*-un-lft-identity
16×times-frac
12×add-cube-cbrt
7×add-cbrt-cube add-exp-log
4×pow1 add-log-exp
3×associate-*r* distribute-lft-out-- difference-of-squares
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative sum-log flip3-+ div-exp pow-prod-down associate-*l/ *-commutative flip-+ div-inv
Counts
2 → 49
Calls
2 calls:
12.0ms
(+ (* (/ (- z t) a) y) x)
24.0ms
(* (/ (- z t) a) y)

series119.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(+ (* (/ (- z t) a) y) x)
52.0ms
(* (/ (- z t) a) y)

simplify2.2s

Counts
55 → 55
Iterations
IterNodes
done5001
33192
2802
1272
0106

prune303.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes696.0ms

Accuracy

61% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 2.5b

bsearch77.0ms

Steps
ItersRangePoint
7
4.390816705502575e-87
1.902564463081087e-85
1.8754865329867302e-85
7
-4.010112920676373e-14
-1.8393662766854805e-16
-3.924024237876824e-14

simplify4.0ms

Iterations
IterNodes
done29
129
020

end0.0ms

sample1.4s

Algorithm
intervals
Results
548.0ms10656×body80valid