Details

Time bar (total: 19.9s)

sample44.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify996.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
51610
4348
3141
260
125
013

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.6b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 z) (/ (* y t) z))
0.0b
(* (/ y (- (* 2.0 z) (/ (* y t) z))) 2.0)
4.6b
(/ y (- (* 2.0 z) (/ (* y t) z)))
5.9b
(/ (* y t) z)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×*-un-lft-identity times-frac add-cube-cbrt
16×add-cbrt-cube add-exp-log
15×associate-*l*
6×pow1 associate-/r* add-log-exp
4×cbrt-undiv div-exp associate-/r/ associate-/l*
3×flip3-- associate-*r* prod-exp cbrt-unprod div-inv flip--
2×clear-num frac-2neg unswap-sqr
1×sub-neg diff-log pow-prod-down associate-*l/ *-commutative
Counts
4 → 96
Calls
4 calls:
8.0ms
(- (* 2.0 z) (/ (* y t) z))
49.0ms
(* (/ y (- (* 2.0 z) (/ (* y t) z))) 2.0)
20.0ms
(/ y (- (* 2.0 z) (/ (* y t) z)))
11.0ms
(/ (* y t) z)

series509.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(- (* 2.0 z) (/ (* y t) z))
216.0ms
(* (/ y (- (* 2.0 z) (/ (* y t) z))) 2.0)
211.0ms
(/ y (- (* 2.0 z) (/ (* y t) z)))
20.0ms
(/ (* y t) z)

simplify1.3s

Counts
108 → 108
Iterations
IterNodes
done5000
21874
1382
0150

prune632.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.7b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 z) (/ y (/ z t)))
0.0b
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) 2.0)
4.6b
(/ y (- (* 2.0 z) (/ y (/ z t))))
4.8b
(/ y (/ z t))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac
67×add-sqr-sqrt
62×*-un-lft-identity add-cube-cbrt
16×associate-/r* add-cbrt-cube add-exp-log
15×associate-*l*
7×div-inv
6×pow1 associate-/l* add-log-exp
5×cbrt-undiv div-exp associate-/r/
3×flip3-- associate-*r* flip--
2×clear-num frac-2neg prod-exp cbrt-unprod unswap-sqr
1×sub-neg diff-log pow-prod-down associate-*l/ *-commutative
Counts
4 → 145
Calls
4 calls:
24.0ms
(- (* 2.0 z) (/ y (/ z t)))
81.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) 2.0)
52.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
11.0ms
(/ y (/ z t))

series539.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(- (* 2.0 z) (/ y (/ z t)))
230.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) 2.0)
237.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
24.0ms
(/ y (/ z t))

simplify1.6s

Counts
157 → 157
Iterations
IterNodes
done5001
22866
1622
0243

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.7b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt 2.0))
0.4b
(* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt 2.0)) (sqrt 2.0))
4.6b
(/ y (- (* 2.0 z) (/ y (/ z t))))
4.8b
(/ y (/ z t))

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
95×times-frac
75×add-sqr-sqrt
65×*-un-lft-identity add-cube-cbrt
25×add-cbrt-cube add-exp-log
16×associate-/r* associate-*l*
12×associate-*r*
11×pow1
8×sqrt-prod
7×prod-exp cbrt-unprod div-inv
6×cbrt-undiv div-exp associate-/l*
5×associate-/r/
4×pow-prod-down add-log-exp unswap-sqr
3×associate-*l/
2×clear-num frac-2neg flip3-- *-commutative flip--
Counts
4 → 162
Calls
4 calls:
112.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt 2.0))
144.0ms
(* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt 2.0)) (sqrt 2.0))
46.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
8.0ms
(/ y (/ z t))

series1.3s

Counts
4 → 12
Calls
4 calls:
430.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt 2.0))
569.0ms
(* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt 2.0)) (sqrt 2.0))
305.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
35.0ms
(/ y (/ z t))

simplify2.0s

Counts
174 → 174
Iterations
IterNodes
done5000
23424
1701
0265

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.7b

localize32.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt (sqrt 2.0)))
0.4b
(* (* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0))
4.6b
(/ y (- (* 2.0 z) (/ y (/ z t))))
4.8b
(/ y (/ z t))

rewrite617.0ms

Algorithm
rewrite-expression-head
Rules
96×times-frac
81×add-sqr-sqrt
66×*-un-lft-identity add-cube-cbrt
30×add-cbrt-cube add-exp-log
18×sqrt-prod
16×associate-/r* associate-*l*
15×pow1 associate-*r*
11×prod-exp cbrt-unprod
7×pow-prod-down div-inv
6×cbrt-undiv div-exp associate-/l* unswap-sqr
5×associate-/r/
4×associate-*l/ add-log-exp
2×clear-num frac-2neg flip3-- *-commutative flip--
Counts
4 → 170
Calls
4 calls:
84.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt (sqrt 2.0)))
483.0ms
(* (* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0))
31.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
13.0ms
(/ y (/ z t))

series1.7s

Counts
4 → 12
Calls
4 calls:
506.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt (sqrt 2.0)))
594.0ms
(* (* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0))
617.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
26.0ms
(/ y (/ z t))

simplify2.3s

Counts
182 → 182
Iterations
IterNodes
done5000
24109
1777
0290

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.7b

regimes363.0ms

Accuracy

0% (0.5b remaining)

Error of 1.1b against oracle of 0.6b and baseline of 1.1b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.3s

Algorithm
intervals
Results
800.0ms8000×body80valid