Details

Time bar (total: 19.4s)

sample122.0ms

Algorithm
intervals
Results
39.0ms555×body80valid
37.0ms569×body80nan

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
72095
6679
5324
4182
388
241
125
015

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0)))
0.2b
(* (- (* x 0.5) y) (* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0))))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube
7×add-sqr-sqrt add-exp-log
6×associate-*l*
5×*-un-lft-identity associate-*r* add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
2×associate-*l/ *-commutative add-log-exp
1×flip3-- sqrt-prod flip-- unswap-sqr
Counts
2 → 39
Calls
2 calls:
20.0ms
(* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0)))
79.0ms
(* (- (* x 0.5) y) (* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0))))

series350.0ms

Counts
2 → 6
Calls
2 calls:
125.0ms
(* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0)))
224.0ms
(* (- (* x 0.5) y) (* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0))))

simplify648.0ms

Counts
45 → 45
Iterations
IterNodes
done5000
21399
1370
0134

prune342.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (sqrt z) (exp (/ (* t t) 2.0)))
0.2b
(* (- (* x 0.5) y) (* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0)))
0.5b
(* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0))

rewrite373.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube
16×add-exp-log
13×add-sqr-sqrt
10×associate-*r* associate-*l* pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
7×sqrt-prod
3×*-commutative add-log-exp
2×associate-*l/ unswap-sqr
1×flip3-- flip--
Counts
3 → 66
Calls
3 calls:
29.0ms
(* (sqrt z) (exp (/ (* t t) 2.0)))
257.0ms
(* (- (* x 0.5) y) (* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0)))
85.0ms
(* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0))

series484.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(* (sqrt z) (exp (/ (* t t) 2.0)))
262.0ms
(* (- (* x 0.5) y) (* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0)))
142.0ms
(* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0))

simplify739.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
22109
1456
0163

prune418.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- (* 0.5 x) y) (exp (/ (* t t) 2.0)))
0.2b
(* (* (- (* 0.5 x) y) (exp (/ (* t t) 2.0))) (sqrt z))
0.4b
(* (* (* (- (* 0.5 x) y) (exp (/ (* t t) 2.0))) (sqrt z)) (sqrt 2.0))

rewrite429.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube
16×add-exp-log
15×associate-*r*
12×associate-*l/
11×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
6×sqrt-prod
5×associate-*l*
3×flip3-- *-commutative flip-- add-log-exp
1×unswap-sqr
Counts
3 → 69
Calls
3 calls:
33.0ms
(* (- (* 0.5 x) y) (exp (/ (* t t) 2.0)))
83.0ms
(* (* (- (* 0.5 x) y) (exp (/ (* t t) 2.0))) (sqrt z))
311.0ms
(* (* (* (- (* 0.5 x) y) (exp (/ (* t t) 2.0))) (sqrt z)) (sqrt 2.0))

series555.0ms

Counts
3 → 9
Calls
3 calls:
93.0ms
(* (- (* 0.5 x) y) (exp (/ (* t t) 2.0)))
182.0ms
(* (* (- (* 0.5 x) y) (exp (/ (* t t) 2.0))) (sqrt z))
280.0ms
(* (* (* (- (* 0.5 x) y) (exp (/ (* t t) 2.0))) (sqrt z)) (sqrt 2.0))

simplify1.0s

Counts
78 → 78
Iterations
IterNodes
done5001
22065
1385
0140

prune510.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y))
0.2b
(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
0.3b
(* (* (* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y)) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (cbrt (sqrt 2.0)))
0.3b
(* (* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y)) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))

rewrite724.0ms

Algorithm
rewrite-expression-head
Rules
105×add-exp-log
85×prod-exp
44×add-cbrt-cube
41×cbrt-unprod
32×pow1
19×add-sqr-sqrt pow-prod-down
15×associate-*l*
14×associate-*r*
12×*-un-lft-identity add-cube-cbrt
7×pow-to-exp pow-exp sqrt-prod
6×cbrt-prod associate-*l/ associate-*r/
5×unswap-sqr
4×unpow-prod-down *-commutative add-log-exp
3×flip3-- flip--
2×distribute-rgt-in sub-neg distribute-lft-in sqr-pow
Counts
4 → 131
Calls
4 calls:
61.0ms
(* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y))
38.0ms
(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
454.0ms
(* (* (* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y)) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (cbrt (sqrt 2.0)))
163.0ms
(* (* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y)) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
135.0ms
(* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y))
210.0ms
(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
345.0ms
(* (* (* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y)) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (cbrt (sqrt 2.0)))
874.0ms
(* (* (pow (exp (/ t 2.0)) t) (- (* 0.5 x) y)) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))

simplify1.7s

Counts
143 → 143
Iterations
IterNodes
done5000
23747
1705
0246

prune874.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes1.2s

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done20
120
015

end0.0ms

sample5.6s

Algorithm
intervals
Results
2.6s18141×body80valid
1.6s17897×body80nan