Details

Time bar (total: 25.8s)

sample182.0ms

Algorithm
intervals
Results
51.0ms51×body1280valid
40.0ms326×body80nan
19.0ms183×body80valid
13.0ms14×body2560valid
11.0ms24×body640valid
4.0ms11×body320valid
1.0ms3×body160valid

simplify80.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.4b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.0ms

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

series272.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ (* z t) 3.0)
34.0ms
(/ a (* b 3.0))
153.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
55.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.2s

Counts
84 → 84
Iterations
IterNodes
done5000
21965
1420
0170

prune683.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.8b

localize67.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ a (* b 3.0))
0.2b
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
27.3b
(sin (/ (* z t) 3.0))
27.5b
(cos (/ (* z t) 3.0))

rewrite74.0ms

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

series386.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(/ a (* b 3.0))
316.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
25.0ms
(sin (/ (* z t) 3.0))
16.0ms
(cos (/ (* z t) 3.0))

simplify2.0s

Counts
70 → 70
Iterations
IterNodes
done5000
22208
1445
0162

prune952.0ms

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 14.7b

localize95.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* (* z t) 0.3333333333333333))) (* (sin y) (sin (/ (* z t) 3.0)))))
0.2b
(/ a (* b 3.0))
27.1b
(cos (* (* z t) 0.3333333333333333))
27.3b
(sin (/ (* z t) 3.0))

rewrite141.0ms

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

series392.0ms

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

simplify2.0s

Counts
70 → 70
Iterations
IterNodes
done5001
22261
1455
0167

prune931.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 14.7b

localize67.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* (* z t) 0.3333333333333333))) (* (sin y) (sin (* (* z t) 0.3333333333333333)))))
0.2b
(/ a (* b 3.0))
27.1b
(cos (* (* z t) 0.3333333333333333))
27.7b
(sin (* (* z t) 0.3333333333333333))

rewrite176.0ms

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

series336.0ms

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

simplify2.1s

Counts
70 → 70
Iterations
IterNodes
done5000
22523
1447
0162

prune658.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 14.7b

regimes5.4s

Accuracy

63.2% (1.4b remaining)

Error of 17.8b against oracle of 16.3b and baseline of 20.2b

bsearch2.0ms

simplify9.0ms

Iterations
IterNodes
done53
153
040

end0.0ms

sample7.5s

Algorithm
intervals
Results
2.1s9239×body80nan
1.4s5582×body80valid
1.4s1550×body1280valid
782.0ms365×body2560valid
579.0ms989×body640valid
171.0ms428×body320valid
82.0ms202×body160valid