Details

Time bar (total: 17.4s)

sample43.0ms

Algorithm
intervals
Results
14.0ms352×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
204946
194678
184407
174139
163867
153599
143328
133060
122794
112528
102251
91857
81548
7962
6412
5205
4128
363
230
116
09

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize14.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)

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
11×*-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* sub-neg times-frac flip3-- associate-*l* flip--
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares associate-/l/
1×clear-num frac-2neg diff-log pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
3 → 63
Calls
3 calls:
12.0ms
(- x (/ (* y (- z t)) a))
20.0ms
(* y (- z t))
14.0ms
(/ (* y (- z t)) a)

series195.0ms

Counts
3 → 9
Calls
3 calls:
68.0ms
(- x (/ (* y (- z t)) a))
62.0ms
(* y (- z t))
65.0ms
(/ (* y (- z t)) a)

simplify2.1s

Counts
72 → 72
Iterations
IterNodes
done5046
33370
2844
1305
0120

prune517.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite37.0ms

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

series140.0ms

Counts
2 → 6
Calls
2 calls:
78.0ms
(- x (* (- z t) (/ y a)))
62.0ms
(* (- z t) (/ y a))

simplify2.6s

Counts
56 → 56
Iterations
IterNodes
done5002
34643
21021
1305
0119

prune350.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (- z t) (* (cbrt (/ y a)) (cbrt (/ y a))))
11.5b
(cbrt (/ y a))
11.5b
(cbrt (/ y a))
11.5b
(cbrt (/ y a))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
29×add-sqr-sqrt
28×*-un-lft-identity
27×times-frac
26×add-cube-cbrt
15×cbrt-div
9×frac-times pow1 add-exp-log
7×add-cbrt-cube
6×associate-*r/
5×associate-*l* associate-*l/
4×flip3-- flip-- add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod div-inv
1×associate-*r* *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 98
Calls
4 calls:
45.0ms
(* (- z t) (* (cbrt (/ y a)) (cbrt (/ y a))))
2.0ms
(cbrt (/ y a))
2.0ms
(cbrt (/ y a))
3.0ms
(cbrt (/ y a))

series484.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(* (- z t) (* (cbrt (/ y a)) (cbrt (/ y a))))
87.0ms
(cbrt (/ y a))
92.0ms
(cbrt (/ y a))
113.0ms
(cbrt (/ y a))

simplify2.2s

Counts
110 → 110
Iterations
IterNodes
done5002
32916
2833
1336
0162

prune853.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×associate-*r*
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-*l* distribute-lft-out-- difference-of-squares
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down associate-*r/ *-commutative div-inv flip--
Counts
2 → 50
Calls
2 calls:
8.0ms
(- x (* y (/ (- z t) a)))
41.0ms
(* y (/ (- z t) a))

series131.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(- x (* y (/ (- z t) a)))
70.0ms
(* y (/ (- z t) a))

simplify2.3s

Counts
56 → 56
Iterations
IterNodes
done5002
33854
2853
1272
0108

prune284.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes677.0ms

Accuracy

61.6% (1.0b remaining)

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

bsearch106.0ms

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

simplify7.0ms

Iterations
IterNodes
done27
127
020

end0.0ms

sample1.2s

Algorithm
intervals
Results
492.0ms10656×body80valid