Details

Time bar (total: 46.3s)

sample815.0ms

Algorithm
intervals
Results
448.0ms256×pre80true
214.0ms139×body1280valid
95.0ms56×body640valid
13.0ms18×body320valid
8.0ms38×body80valid
3.0ms5×body160valid

simplify253.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize44.0ms

Local error

Found 3 expressions with local error:

2.6b
(tan (+ y z))
0.1b
(+ x (- (tan (+ y z)) (tan a)))
0.1b
(- (tan (+ y z)) (tan a))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
19×add-sqr-sqrt
18×prod-diff
17×add-cube-cbrt
11×associate-+r+
10×add-log-exp
4×tan-quot
3×expm1-log1p-u pow1 fma-def add-cbrt-cube fma-neg add-exp-log insert-posit16 log1p-expm1-u
2×tan-sum sum-log sub-neg diff-log frac-sub distribute-lft-out distribute-lft-out--
1×+-commutative associate-+r- flip3-+ flip3-- flip-+ flip-- difference-of-squares
Counts
3 → 75
Calls
3 calls:
Slowest
27.0ms
(+ x (- (tan (+ y z)) (tan a)))
16.0ms
(- (tan (+ y z)) (tan a))
12.0ms
(tan (+ y z))

series668.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
298.0ms
(+ x (- (tan (+ y z)) (tan a)))
258.0ms
(- (tan (+ y z)) (tan a))
112.0ms
(tan (+ y z))

simplify2.7s

Counts
84 → 84

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
0.2b
(* (tan y) (tan z))
0.1b
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.1b
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))

rewrite289.0ms

Algorithm
rewrite-expression-head
Rules
165×*-un-lft-identity
115×add-sqr-sqrt
108×prod-diff add-cube-cbrt
97×times-frac
56×associate-+r+
27×distribute-lft-out
18×fma-neg
16×associate-/r/
11×add-log-exp
9×flip3-- flip--
8×add-cbrt-cube add-exp-log div-inv
7×tan-quot
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l*
3×associate-/r* fma-def associate-*r* associate-*l* associate-/l/
2×sum-log sub-neg flip3-+ diff-log flip-+ distribute-lft-out-- difference-of-squares
1×frac-times cbrt-undiv +-commutative clear-num associate-+r- frac-2neg div-exp pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
4 → 231
Calls
4 calls:
Slowest
133.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
91.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
36.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
24.0ms
(* (tan y) (tan z))

series2.2s

Counts
4 → 12
Calls
4 calls:
Slowest
894.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
646.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
468.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
207.0ms
(* (tan y) (tan z))

simplify1.1s

Counts
243 → 243

prune5.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize65.0ms

Local error

Found 4 expressions with local error:

2.2b
(exp (- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a)))
0.2b
(* (tan z) (tan y))
0.1b
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x)
0.1b
(- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
62×*-un-lft-identity
36×add-sqr-sqrt
30×add-cube-cbrt
24×prod-diff
18×fma-def
17×add-log-exp
15×exp-sum
13×distribute-lft-out
12×times-frac
6×pow1 exp-prod add-cbrt-cube tan-quot add-exp-log
4×expm1-log1p-u fma-neg diff-log insert-posit16 log1p-expm1-u distribute-lft-out--
3×sum-log associate-*r* associate-*l* rem-exp-log
2×sub-neg flip3-+ flip3-- associate--l+ associate-/r/ frac-sub flip-+ flip-- difference-of-squares
1×frac-times +-commutative exp-diff pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 130
Calls
4 calls:
Slowest
691.0ms
(exp (- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a)))
410.0ms
(- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a))
91.0ms
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x)
27.0ms
(* (tan z) (tan y))

series3.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a))
879.0ms
(exp (- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a)))
805.0ms
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x)
168.0ms
(* (tan z) (tan y))

simplify2.1s

Counts
142 → 142

prune3.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

3.6b
(log (exp (* (tan y) (tan z))))
0.2b
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a)))
0.2b
(* (tan y) (tan z))
0.2b
(exp (* (tan y) (tan z)))

rewrite303.0ms

Algorithm
rewrite-expression-head
Rules
173×*-un-lft-identity
116×add-sqr-sqrt
104×associate-+r+
102×prod-diff
84×times-frac
78×add-cube-cbrt
25×distribute-lft-out--
24×difference-of-squares
23×distribute-lft-out
19×pow1
15×log-pow
12×add-log-exp
6×add-cbrt-cube add-exp-log associate-/r/
4×expm1-log1p-u tan-quot insert-posit16 log1p-expm1-u
3×log-prod fma-def flip3-- associate-*r* associate-*l* div-inv flip--
2×exp-prod sum-log exp-to-pow
1×frac-times +-commutative associate-+r- sub-neg flip3-+ diff-log rem-log-exp pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod flip-+ unswap-sqr rem-exp-log
Counts
4 → 179
Calls
4 calls:
Slowest
249.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a)))
28.0ms
(* (tan y) (tan z))
15.0ms
(exp (* (tan y) (tan z)))
5.0ms
(log (exp (* (tan y) (tan z))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
722.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a)))
230.0ms
(log (exp (* (tan y) (tan z))))
221.0ms
(exp (* (tan y) (tan z)))
174.0ms
(* (tan y) (tan z))

simplify826.0ms

Counts
191 → 191

prune3.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes709.0ms

Accuracy

0% (0.2b remaining)

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

bsearch4.0ms

end0.0ms

sample15.2s

Algorithm
intervals
Results
8.5s3813×body1280valid
3.5s2048×body640valid
1.4s8000×pre80true
719.0ms711×body320valid
326.0ms1122×body80valid
161.0ms306×body160valid