Details

Time bar (total: 16.8s)

sample45.0ms

Algorithm
intervals
Results
14.0ms241×body80valid
4.0ms17×body640valid
3.0ms16×body320valid
1.0ms4×body1280valid
1.0ms6×body160valid
0.0ms1×body2560valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5005
72087
6873
5342
4176
3101
250
122
011

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.4b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite96.0ms

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

series278.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(* (- z t) y)
159.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
75.0ms
(/ (* (- z t) y) (- a t))

simplify1.2s

Counts
79 → 79
Iterations
IterNodes
done5002
21366
1392
0150

prune441.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.9b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
203×times-frac
180×add-sqr-sqrt
176×*-un-lft-identity
87×add-cube-cbrt
45×difference-of-squares
44×distribute-lft-out--
22×associate-/r*
10×add-cbrt-cube add-exp-log associate-/l*
8×div-inv add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 flip3-- div-sub flip--
2×clear-num frac-2neg diff-log frac-sub
1×sum-log sub-neg flip3-+ associate--l+ associate-/r/ flip-+ distribute-lft-out associate--r-
Counts
3 → 197
Calls
3 calls:
19.0ms
(/ (- a t) y)
81.0ms
(- (+ x y) (/ (- z t) (/ (- a t) y)))
21.0ms
(/ (- z t) (/ (- a t) y))

series345.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(/ (- a t) y)
175.0ms
(- (+ x y) (/ (- z t) (/ (- a t) y)))
136.0ms
(/ (- z t) (/ (- a t) y))

simplify1.9s

Counts
206 → 206
Iterations
IterNodes
done5003
22660
1931
0303

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.8b

localize87.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
14×frac-sub
10×frac-times associate-*l/
9×cbrt-prod add-log-exp
7×add-sqr-sqrt *-un-lft-identity flip3-+ add-cube-cbrt flip-+
6×associate-*r/
4×pow1 add-cbrt-cube add-exp-log
3×pow1/3
2×diff-log
1×sum-log sub-neg flip3-- associate--l+ flip--
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
50.0ms
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))))

series919.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(cbrt y)
253.0ms
(cbrt y)
220.0ms
(cbrt y)
237.0ms
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))))

simplify1.4s

Counts
73 → 73
Iterations
IterNodes
done5003
21186
1345
0130

prune515.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 4.8b

localize150.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
6.8b
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))) (/ (* (cbrt (- z t)) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)))) (cbrt (- a t)))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
14×frac-sub
10×frac-times associate-*l/
9×cbrt-prod add-log-exp
7×add-sqr-sqrt *-un-lft-identity flip3-+ add-cube-cbrt flip-+
6×associate-*r/
4×pow1 add-cbrt-cube add-exp-log
3×pow1/3
2×diff-log
1×sum-log sub-neg flip3-- associate--l+ flip--
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
41.0ms
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))) (/ (* (cbrt (- z t)) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)))) (cbrt (- a t)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
265.0ms
(cbrt y)
314.0ms
(cbrt y)
303.0ms
(cbrt y)
245.0ms
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t))) (/ (* (cbrt (- z t)) (cbrt y)) (cbrt (- a t)))) (/ (* (cbrt (- z t)) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)))) (cbrt (- a t)))))

simplify2.2s

Counts
73 → 73
Iterations
IterNodes
done5000
21425
1368
0133

prune523.0ms

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 4.8b

regimes972.0ms

Accuracy

4.1% (6.6b remaining)

Error of 10.5b against oracle of 3.8b and baseline of 10.8b

bsearch163.0ms

Steps
ItersRangePoint
4
2.1052534633879578e+158
3.9936028946511107e+158
2.570599205910774e+158
9
4.931886290112662e+48
4.9150588980470484e+53
2.7898131003401552e+53
7
-8.666161719402026e+153
-2.836524188693602e+152
-9.297768369592005e+152

simplify8.0ms

Iterations
IterNodes
done46
146
039

end0.0ms

sample1.5s

Algorithm
intervals
Results
482.0ms7350×body80valid
435.0ms453×body640valid
129.0ms401×body320valid
97.0ms269×body1280valid
21.0ms228×body160valid
4.0ms16×body2560valid