Details

Time bar (total: 25.9s)

sample150.0ms

Algorithm
intervals
Results
26.0ms304×body80nan
24.0ms46×body1280valid
16.0ms196×body80valid
9.0ms28×body640valid
4.0ms5×body2560valid
3.0ms10×body320valid
1.0ms5×body160valid

simplify46.0ms

Counts
1 → 1
Iterations
IterNodes
done92
592
489
376
254
132
018

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.4b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
85×times-frac
60×add-sqr-sqrt
55×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube add-exp-log
16×associate-*r*
13×associate-/l*
11×pow1
6×div-inv
5×prod-exp cbrt-unprod
4×cbrt-undiv div-exp associate-*l* pow-prod-down add-log-exp
3×cos-diff associate-/r*
2×cos-sum *-commutative unswap-sqr
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in associate-*r/ associate-/l/
Counts
4 → 132
Calls
4 calls:
26.0ms
(* z (/ t 3.0))
17.0ms
(/ (/ a b) 3.0)
42.0ms
(* (* 2.0 (sqrt x)) (cos (- y (* z (/ t 3.0)))))
14.0ms
(cos (- y (* z (/ t 3.0))))

series233.0ms

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

simplify1.2s

Counts
144 → 144
Iterations
IterNodes
done5000
23261
1721
0286

prune1.3s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 12.8b

localize75.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin y) (sin (* z (/ t 3.0))))
0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos (* z (/ t 3.0))) (cos y)) (* (sin y) (sin (* z (/ t 3.0))))))
25.4b
(sin (* z (/ t 3.0)))
25.5b
(cos (* z (/ t 3.0)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×associate-*l* pow-prod-down prod-exp cbrt-unprod add-log-exp
3×associate-*r/
2×*-commutative sin-mult
1×distribute-rgt-in distribute-lft-in flip3-+ frac-add cos-mult flip-+ unswap-sqr
Counts
4 → 56
Calls
4 calls:
16.0ms
(* (sin y) (sin (* z (/ t 3.0))))
116.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (* z (/ t 3.0))) (cos y)) (* (sin y) (sin (* z (/ t 3.0))))))
10.0ms
(sin (* z (/ t 3.0)))
10.0ms
(cos (* z (/ t 3.0)))

series411.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (sin y) (sin (* z (/ t 3.0))))
301.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (* z (/ t 3.0))) (cos y)) (* (sin y) (sin (* z (/ t 3.0))))))
26.0ms
(sin (* z (/ t 3.0)))
12.0ms
(cos (* z (/ t 3.0)))

simplify1.6s

Counts
68 → 68
Iterations
IterNodes
done5001
22122
1389
0140

prune894.0ms

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 12.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin y) (sin (* z (/ t 3.0))))
0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos (* (* z t) 0.3333333333333333)) (cos y)) (* (sin y) (sin (* z (/ t 3.0))))))
25.3b
(cos (* (* z t) 0.3333333333333333))
25.4b
(sin (* z (/ t 3.0)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×associate-*l* pow-prod-down prod-exp cbrt-unprod add-log-exp
3×associate-*r/
2×*-commutative sin-mult
1×distribute-rgt-in distribute-lft-in flip3-+ frac-add cos-mult flip-+ unswap-sqr
Counts
4 → 56
Calls
4 calls:
24.0ms
(* (sin y) (sin (* z (/ t 3.0))))
139.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (* (* z t) 0.3333333333333333)) (cos y)) (* (sin y) (sin (* z (/ t 3.0))))))
22.0ms
(cos (* (* z t) 0.3333333333333333))
9.0ms
(sin (* z (/ t 3.0)))

series441.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (sin y) (sin (* z (/ t 3.0))))
331.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (* (* z t) 0.3333333333333333)) (cos y)) (* (sin y) (sin (* z (/ t 3.0))))))
18.0ms
(cos (* (* z t) 0.3333333333333333))
27.0ms
(sin (* z (/ t 3.0)))

simplify1.4s

Counts
68 → 68
Iterations
IterNodes
done5002
22185
1394
0142

prune918.0ms

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 12.1b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (+ (* (cos (* (* z t) 0.3333333333333333)) (cos y)) (* (sin y) (sin (* 0.3333333333333333 (* z t))))))
0.3b
(* (sin y) (sin (* 0.3333333333333333 (* z t))))
25.3b
(cos (* (* z t) 0.3333333333333333))
25.6b
(sin (* 0.3333333333333333 (* z t)))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×associate-*l* pow-prod-down prod-exp cbrt-unprod add-log-exp
3×associate-*r/
2×*-commutative sin-mult
1×distribute-rgt-in distribute-lft-in flip3-+ frac-add cos-mult flip-+ unswap-sqr
Counts
4 → 56
Calls
4 calls:
156.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (* (* z t) 0.3333333333333333)) (cos y)) (* (sin y) (sin (* 0.3333333333333333 (* z t))))))
28.0ms
(* (sin y) (sin (* 0.3333333333333333 (* z t))))
13.0ms
(cos (* (* z t) 0.3333333333333333))
16.0ms
(sin (* 0.3333333333333333 (* z t)))

series449.0ms

Counts
4 → 12
Calls
4 calls:
311.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos (* (* z t) 0.3333333333333333)) (cos y)) (* (sin y) (sin (* 0.3333333333333333 (* z t))))))
85.0ms
(* (sin y) (sin (* 0.3333333333333333 (* z t))))
19.0ms
(cos (* (* z t) 0.3333333333333333))
34.0ms
(sin (* 0.3333333333333333 (* z t)))

simplify1.2s

Counts
68 → 68
Iterations
IterNodes
done5001
22140
1391
0140

prune669.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 12.1b

regimes5.8s

Accuracy

49.4% (2.3b remaining)

Error of 17.9b against oracle of 15.7b and baseline of 20.2b

bsearch4.0ms

simplify9.0ms

Iterations
IterNodes
done52
152
042

end0.0ms

sample8.4s

Algorithm
intervals
Results
1.8s1573×body1280valid
1.6s9163×body80nan
1.5s5610×body80valid
1.1s950×body640valid
506.0ms396×body2560valid
249.0ms421×body320valid
54.0ms209×body160valid