Details

Time bar (total: 20.3s)

sample183.0ms

Algorithm
intervals
Results
48.0ms305×body80nan
27.0ms47×body1280valid
17.0ms174×body80valid
14.0ms33×body640valid
13.0ms14×body2560valid
3.0ms11×body320valid
2.0ms8×body160valid

simplify100.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01819
13219
25419
37619
48919
59219
done9219

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.6b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.3b
(/ a (* b 3.0))
0.3b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
23.5b
(cos (- y (/ (* z t) 3.0)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
9×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×times-frac
5×prod-exp cbrt-unprod
4×cbrt-undiv div-exp associate-/r* associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×cos-sum frac-2neg clear-num div-inv
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 72
Calls
4 calls:
15.0ms
(/ (* z t) 3.0)
12.0ms
(/ a (* b 3.0))
43.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
33.0ms
(cos (- y (/ (* z t) 3.0)))

series205.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ (* z t) 3.0)
22.0ms
(/ a (* b 3.0))
112.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
52.0ms
(cos (- y (/ (* z t) 3.0)))

simplify908.0ms

Counts
84 → 84
Iterations

Useful iterations: done (905.0ms)

IterNodesCost
0170993
1420965
21962821
done5001813

prune489.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 16.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ a (* b 3.0))
0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
28.7b
(sin (/ (* z t) 3.0))
28.9b
(cos (/ (* z t) 3.0))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log add-cbrt-cube
9×pow1
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×prod-exp cbrt-unprod add-log-exp
3×times-frac associate-*r/ associate-*r* pow-prod-down associate-/l*
2×cbrt-undiv div-exp
1×distribute-rgt-in frac-2neg distribute-lft-in flip3-+ associate-*l* frac-add clear-num associate-/r* cos-mult *-commutative flip-+ div-inv sin-mult
Counts
4 → 58
Calls
4 calls:
12.0ms
(/ a (* b 3.0))
78.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
5.0ms
(sin (/ (* z t) 3.0))
5.0ms
(cos (/ (* z t) 3.0))

series348.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ a (* b 3.0))
279.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
23.0ms
(sin (/ (* z t) 3.0))
17.0ms
(cos (/ (* z t) 3.0))

simplify1.3s

Counts
70 → 70
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01661246
14521223
222241031
done50001025

prune616.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 16.5b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ a b) 3.0)
0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
28.7b
(sin (/ (* z t) 3.0))
28.9b
(cos (/ (* z t) 3.0))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
47×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
14×add-exp-log add-cbrt-cube
13×associate-/l*
9×pow1
5×div-inv
4×add-log-exp
3×cbrt-undiv associate-*r/ div-exp associate-*r* pow-prod-down prod-exp associate-/r* cbrt-unprod
1×distribute-rgt-in frac-2neg distribute-lft-in flip3-+ associate-*l* frac-add clear-num cos-mult *-commutative flip-+ associate-/l/ sin-mult
Counts
4 → 107
Calls
4 calls:
12.0ms
(/ (/ a b) 3.0)
88.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
6.0ms
(sin (/ (* z t) 3.0))
6.0ms
(cos (/ (* z t) 3.0))

series289.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ (/ a b) 3.0)
238.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (/ (* z t) 3.0)) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
18.0ms
(sin (/ (* z t) 3.0))
12.0ms
(cos (/ (* z t) 3.0))

simplify1.7s

Counts
119 → 119
Iterations

Useful iterations: 2 (368.0ms)

IterNodesCost
02681923
17001854
233721662
done50011662

prune1.1s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 16.5b

localize57.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 2.0 (sqrt x)) (+ (* (log (exp (cos (/ (* z t) 3.0)))) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
0.4b
(log (exp (cos (/ (* z t) 3.0))))
28.7b
(sin (/ (* z t) 3.0))
28.9b
(cos (/ (* z t) 3.0))

rewrite398.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1
9×add-exp-log add-cbrt-cube
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×log-pow add-log-exp
3×log-prod exp-prod associate-*r* pow-prod-down prod-exp cbrt-unprod
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ rem-log-exp associate-*l* *-commutative flip-+
Counts
4 → 51
Calls
4 calls:
374.0ms
(* (* 2.0 (sqrt x)) (+ (* (log (exp (cos (/ (* z t) 3.0)))) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
11.0ms
(log (exp (cos (/ (* z t) 3.0))))
5.0ms
(sin (/ (* z t) 3.0))
5.0ms
(cos (/ (* z t) 3.0))

series387.0ms

Counts
4 → 12
Calls
4 calls:
330.0ms
(* (* 2.0 (sqrt x)) (+ (* (log (exp (cos (/ (* z t) 3.0)))) (cos y)) (* (sin y) (sin (/ (* z t) 3.0)))))
17.0ms
(log (exp (cos (/ (* z t) 3.0))))
25.0ms
(sin (/ (* z t) 3.0))
15.0ms
(cos (/ (* z t) 3.0))

simplify1.1s

Counts
63 → 63
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01271270
13451161
21783980
done5001976

prune412.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 15.4b

regimes3.9s

Accuracy

44.9% (2.5b remaining)

Error of 18.3b against oracle of 15.8b and baseline of 20.3b

bsearch3.0ms

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
039119
15088
done5088

end0.0ms

sample6.4s

Algorithm
intervals
Results
1.9s9219×body80nan
1.2s1577×body1280valid
826.0ms5672×body80valid
490.0ms949×body640valid
330.0ms369×body2560valid
151.0ms418×body320valid
41.0ms203×body160valid